Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Calculo Diferencial Varias Variables
Calculo Diferencial Varias Variables
EN
Rn
Licencia. Este texto se distribuye bajo una licencia Creative Commons en virtud de la cual se permite:
Copiar, distribuir y comunicar pblicamente la obra.
Hacer obras derivadas.
Bajo las condiciones siguientes:
Reconocimiento. Debe reconocer los crditos de la obra de la manera especificada por el autor o
el licenciador (pero no de una manera que sugiera que tiene su apoyo o apoyan el uso que hace
de su obra).
BY:
Compartir bajo la misma licencia. Si altera o transforma esta obra, o genera una obra derivada,
slo puede distribuir la obra generada bajo una licencia idntica a sta.
C
Universidad de Granada
Dpto. de Anlisis Matemtico
Indice general
1
. . . . . . . . . . . . . . . . . . . . . . .
1.4. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Lmite funcional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6. Continuidad y lmites de campos escalares y vectoriales . . . . . . . . . . . . . 21
2. Derivadas parciales y extremos relativos de campos escalares
30
54
II
ndice general
III
Universidad de Granada
Dpto. de Anlisis Matemtico
Captulo
Observa que el producto escalar de dos vectores no es un vector sino un nmero real.
La notacin x.y es frecuentemente usada en los libros de Fsica para representar el producto
escalar de los vectores x e y.
Propiedades del producto escalar.
1. xx > 0, y xx D 0 x D 0.
2. Simetra. xy D y x para todos x; y 2 Rn .
3. Linealidad. x C y z D xz C y z para todos ; 2 R y para todos x; y; z 2 Rn .
1
n
X
xk2
kD1
Desigualdad de Cauchy-Schwarz.
Para todos x; y 2 Rn se verifica que
xy 6 kxk2 kyk2
Adems, supuesto que x e y no son nulos, la igualdad xy D kxk2 kyk2 equivale a que
exista un nmero 2 R tal que x D y (es decir, los vectores x e y estn en una misma recta
que pasa por el origen).
Propiedades de la norma eucldea.
1. kxk2 > 0, y kxk2 D 0 x D 0.
2. Homogeneidad. kxk2 D jj kxk2 para todo x 2 Rn y todo 2 R.
3. Desigualdad triangular. Para todos x; y 2 Rn se verifica que
kx C yk2 6 kxk2 C kyk2
Adems, supuesto que x e y no son nulos, la igualdad kx C yk2 D kxk2 C kyk2 equivale
a que hay un nmero > 0 tal que x D y (es decir, los vectores x e y estn en una misma
semirrecta que pasa por el origen).
1.3 Definicin. Se dice que los vectores x e y son ortogonales, y escribimos x ? y, cuando
su producto escalar es cero. Se dice que un vector x es ortogonal a un conjunto de vectores
E Rn cuando x es ortogonal a todo vector en E. Un conjunto de vectores no nulos que
son mutuamente ortogonales se dice que es un conjunto ortogonal de vectores; si, adems,
los vectores tienen todos norma 1 se dice que es un conjunto ortonormal de vectores. Una
base vectorial que tambin es un conjunto ortogonal (ortonormal) se llama una base ortogonal
(ortonormal).
Si x e y son vectores no nulos, el vector
xy
y
.x/
D
y
y y
Q
El vector x
ortogonal a y. En particular, si y es un vector unitario (de norma
y .x/ es
Ejercicios propuestos
4. Teorema de Pitgoras. Prueba que los vectores x e y son ortogonales si, y solo si
kx C yk22 D kxk22 C kyk22
5. Prueba que el vector x
y .x/
es ortogonal a y.
yk2
.x; y 2 Rn /
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
kD1
jxk j
wb
a
jf .t/j dt
1.7 Definicin. Sea E un conjunto cualquiera no vaco. Una distancia en E es una aplicacin
d W E E ! RC
o que verifica las siguientes propiedades:
1. d.x; y/ D 0 x D y.
2. Simetra. d.x; y/ D d.y; x/ para todos x; y 2 E.
3. Desigualdad triangular. d.x; y/ 6 d.x; z/ C d.z; y/ para todos x; y; z 2 E.
Universidad de Granada
Dpto. de Anlisis Matemtico
El par ordenado .E; d/ se llama un espacio mtrico. Los elementos de un espacio mtrico
suelen llamarse puntos de dicho espacio mtrico.
Naturalmente, sobre un mismo conjunto pueden considerarse distintas distancias, cada una
de ellas da lugar a un espacio mtrico diferente. Para tener en cuenta este hecho se dice que un
espacio mtrico es un par ordenado .E; d/ formado por un conjunto no vaco y una distancia.
No obstante, con frecuencia se dice simplemente sea E un espacio mtrico y se sobreentiende
que en E est definida una distancia concreta.
Dado un espacio normado, .X; k k/, la aplicacin d W X X ! RC
o dada por:
d.x; y/ D kx
.x; y 2 X /
yk
Ejercicios propuestos
.x; y; z 2 E/
(1.1)
n
X1
d.xj ; xj C1 /
j D1
12. Prueba que la distancia asociada a una norma verifica las propiedades de la definicin
1.7. Comprueba que dicha distancia es invariante por traslaciones y es homognea.
13. Prueba que en todo espacio vectorial real se pueden definir normas y en todo conjunto se
pueden definir distancias.
Universidad de Granada
Dpto. de Anlisis Matemtico
Ejercicios propuestos
d.x; y/
1 C d.x; y/
.x; y 2 E/
t
es creciente en RC
o.
1Ct
15. Prueba que un conjunto A E es abierto en el espacio mtrico .E; d/ si, y slo si, A es
unin de bolas abiertas.
16. Describe las bolas abiertas y cerradas en los espacios normados .R; j j/, .R2 ; k k2 /,
.R2 ; k k1 /, .R2 ; k k1 / y .B.0; 1/; k k1 /.
17. Da un ejemplo de una coleccin de conjuntos abiertos (resp. cerrados) en .R; j j/ cuya
interseccin (resp. unin) no sea un conjunto abierto (resp. cerrado).
18. Prueba que todo intervalo abierto (resp. cerrado) en R es un conjunto abierto (resp. cerrado) en .R; j j/.
19. Sean .Ei ; di / i D 1; 2; : : : ; n espacios mtricos. En el conjunto producto cartesiano de
los Ei , E D E1 E2 En , definimos:
..x1 ; x2 ; : : : ; xn /; .y1 ; y2 ; : : : ; yn // D mKax fdi .xi ; yi / W 1 6 i6g
a) Prueba que .E; / es un espacio mtrico. Se dice que .E; / es el espacio mtrico
producto de los espacios mtricos .Ei ; di / i D 1; 2; : : : ; n.
Ejercicios propuestos
Conceptos topolgicos
En todo espacio mtrico conviven dos estructuras, la propia de espacio mtrico, .E; d/, y
la de espacio topolgico, .E; T /, donde T es la topologa asociada a la distancia d. Sucede
que en los espacios mtricos es cmodo definir algunos conceptos usando la distancia, pero
a veces dichos conceptos pueden formularse tambin nicamente en trminos de abiertos, sin
referencia ninguna a la distancia original. Los conceptos que pueden formularse nicamente
en trminos de abiertos se llaman topolgicos. Es importante saber cuando un concepto es
topolgico porque puede ocurrir que distancias distintas sobre un mismo conjunto E den lugar
a la misma topologa y, por tanto, las propiedades que solamente dependen de la topologa son
las mismas para ambas distancias.
Todos los conceptos introducidos en la definicin 1.14 dependen aparentemente de la distancia porque en todos ellos se utilizan bolas abiertas. Pero es fcil comprobar que de hecho son
conceptos topolgicos. Para ello basta con que compruebes que en dichas definiciones puede
sustituirse la expresin bola abierta centrada en x por conjunto abierto que contiene a x
sin que ello afecte para nada a los conceptos all definidos.
1.15 Definicin. Se dice que dos distancias d y sobre un mismo conjunto E son equivalentes
si ambas definen la misma topologa en E.
Se dice que dos normas sobre un mismo espacio vectorial son equivalentes si sus distancias
asociadas son equivalentes.
1.16 Proposicin. Sean k k y jjj jjj dos normas sobre un espacio vectorial X . Equivalen las
afirmaciones:
a) k k y jjj jjj son normas equivalentes.
Universidad de Granada
Dpto. de Anlisis Matemtico
.x 2 X /
Observa que fxn g ! x quiere decir que para toda bola B.x; "/ existe un m" 2 N tal que
para todo n > m" se verifica que xn 2 B.x; "/.
Ejercicios propuestos
25. Prueba que el concepto de sucesin convergente es topolgico. Por tanto, distancias equivalentes tienen las mismas sucesiones convergentes.
26. Para cada n 2 N sea fn W 0; 1 ! R la funcin dada por f .x/ D x n . Prueba que la
sucesin ffn g converge a la funcin nula f D 0 en el espacio .C .0; 1/; k k1 / pero no es
convergente en .C .0; 1/; k k1 /.
27. Sea fxm g una sucesin de puntos de .Rn ; k k2 /. Representaremos por xm .k/ la coordenada k sima del vector xm . Prueba que fxm g ! x si, y slo si, fxm .k/g ! x.k/
para 1 6 k 6 n. Esto es, la convergencia en .Rn ; k k2 / equivale a la convergencia por
coordenadas.
28. Sea fxm g una sucesin de puntos de .Rn ; k k2 /. Prueba que fxm g ! x si, y slo si, se
verifican las siguientes dos condiciones:
a) xm y ! xy
8y 2 Rn .
b) fkxm k2 g ! kxk2 .
10
1.19 Definicin (Sucesin de Cauchy). Se dice que una sucesin fxn g de puntos de un espacio
mtrico .E; d/ cumple la condicin de Cauchy o que es una sucesin de Cauchy, si para todo
" > 0 existe un m" 2 N tal que para todos p > m" , q > m" se verifica que d.xp ; xq / < ".
Se dice que .E; d/ es un espacio mtrico completo si toda sucesin de puntos de E que
verifica la condicin de Cauchy es convergente.
Un espacio normado que es completo como espacio mtrico se llama un espacio de Banach.
El concepto de sucesin de Cauchy no es topolgico, es decir, dos distancias equivalentes
pueden no tener las mismas sucesiones de Cauchy.
1.20 Definicin. Sea .E; d/ un espacio mtrico y A un subconjunto no vaco de E. Si el
conjunto de nmeros reales:
C D fd.x; y/ W x 2 A; y 2 Ag
est mayorado, se dice que A est acotado, en cuyo caso el nmero sup.C / se llama dimetro
de A.
Se dice que una sucesin fxn g est acotada si el conjunto fxn W n 2 Ng est acotado.
Ejercicios propuestos
Universidad de Granada
Dpto. de Anlisis Matemtico
11
37. Sea `1 el espacio normado de las sucesiones acotadas de nmeros reales con la norma
uniforme, es decir, `1 D .B.N/; k k1 /. Para cada n 2 N sea n W N ! R la sucesin
definida por
1; si k D n;
n .k/ D
0; si k n.
Prueba que la sucesin fn g no tiene ninguna sucesin parcial convergente.
1.21 Teorema (Bolzano Weierstrass en .Rn ; k k2 /). Toda sucesin acotada de puntos de
.Rn ; k k2 / tiene alguna sucesin parcial convergente en .Rn ; k k2 /.
1.22 Teorema (Hausdorff). Todas las normas en un espacio vectorial de dimensin finita son
equivalentes.
Como consecuencia de este teorema en Rn hay una nica topologa que procede de una
norma, dicha topologa se llama la topologa de la norma y es la que consideraremos siempre
en Rn . En dicha topologa los abiertos son uniones de bolas abiertas para alguna norma.
Puesto que el concepto de sucesin convergente es topolgico, deducimos, como consecuencia del teorema de Hausdorff, que las sucesiones convergentes en Rn son las mismas para
todas las normas.
1.23 Corolario. En todo espacio normado de dimensin finita la convergencia de una sucesin
de puntos equivale a la convergencia por coordenadas.
Otra consecuencia del teorema anterior y de la proposicin 1.16 es que las sucesiones de
Cauchy y las sucesiones acotadas en un espacio normado de dimensin finita son las mismas
para todas las normas.
Hemos visto en el ejercicio 33 que .Rn ; k k2 / es un espacio de Banach, es decir en dicho
espacio las sucesiones convergentes coinciden con las de Cauchy. Deducimos que en Rn con
cualquier norma las sucesiones de Cauchy coinciden con las sucesiones convergentes. A partir
de aqu es fcil probar los siguientes resultados.
1.24 Teorema (Complitud). Todo espacio normado de dimensin finita es un espacio de Banach.
1.25 Teorema (BolzanoWeierstrass). Toda sucesin acotada de puntos de un espacio normado de dimensin finita tiene alguna sucesin parcial convergente.
1.26 Definicin. Un subconjunto K de un espacio mtrico se dice que es compacto si toda
sucesin de puntos de K tiene alguna sucesin parcial que converge a un punto de K.
Puesto que el concepto de sucesin convergente es topolgico, la compacidad es una propiedad topolgica.
1.27 Proposicin. Todo conjunto compacto de un espacio mtrico es cerrado y acotado.
Como consecuencia de lo visto en el ejercicio 37, se tiene que la bola cerrada B.0; 1/ en el
espacio `1 no es un conjunto compacto aunque, evidentemente, dicho conjunto es cerrado y
acotado.
1.28 Teorema (Caracterizacin de la compacidad en dimensin finita). Los conjuntos compactos en un espacio normado de dimensin finita son los conjuntos cerrados y acotados.
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
12
Ejercicios propuestos
38. Sea KSun subconjunto compacto no vaco de Rn . Sea r > 0 un nmero fijo y definamos
A D x2K B.x; r / donde B.x; r / indica la bola cerrada de centro x y radio r para una
norma que se supone fijada en Rn . Prueba que A es compacto.
1.4. Continuidad
1.29 Definicin. Sean .E; d/, .F; / espacios mtricos, A E y f W A ! F . Se dice que f
es continua en un punto 2 A si para todo " > 0 existe > 0 tal que para todo x 2 A con
d.x; / < se verifica que .f .x/; f .// < ".
Si f es continua en todos los puntos de un conjunto B A se dice que f es continua en
B. Si f es continua en A se dice simplemente que f es continua.
1.30 Proposicin (Caracterizacin secuencial de la continuidad). Sean .E; d/, .F; / espacios mtricos, A E, f W A ! F y 2 A. Equivalen las siguientes afirmaciones:
a) f es continua en .
b) Para toda sucesin fxn g ! con xn 2 A se verifica que ff .xn /g ! f ./.
Como el concepto de sucesin convergente es topolgico, del resultado anterior se sigue
que la continuidad es una propiedad topolgica.
Ejercicios propuestos
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
13
45. Sean .E; d/ un espacio mtrico, fi W E ! E, i D 1; 2; : : : ; n funciones continuas. Consideremos el espacio mtrico producto .E n ; / y definamos F W E n ! E n por
F.x1 ; x2 ; : : : ; xn / D .f1 .x1 /; f2 .x2 /; : : : ; fn .xn //
Prueba que F es continua.
46. Sea F W Rn ! Rn una funcin continua tal que para todos x; y 2 Rn se verifica que
kx yk 6 kF.x/ F.y/k. Prueba que la imagen de F es un conjunto cerrado en Rn .
1.31 Proposicin (Carcter local de la continuidad). Sean .E; d/, .F; / espacios mtricos,
A E, f W A ! F y 2 A. Supongamos que hay alguna bola abierta B.; r / tal que la
restriccin fjB de f al conjunto B D B.; r / \ A es continua en . Entonces f es continua
en .
En particular, si U A es un conjunto abierto y fjU es continua, entonces f es continua
en U .
1.32 Proposicin (Caracterizacin topolgica de la continuidad). Sean .E; d/ y .F; / espacios mtricos y f W E ! F . Equivalen las siguientes afirmaciones:
a) f es continua en E.
b) La imagen inversa por f de todo abierto de F es un abierto de E.
c) La imagen inversa por f de todo cerrado de F es un cerrado de E.
1.33 Corolario. Sea .E; d/ un espacio mtrico y f WE ! R una aplicacin continua. Entonces
para todo t 2 R se verifica que:
a) Los conjuntos fx 2 E W f .x/ < tg y fx 2 E W f .x/ > tg son abiertos en E.
b) Los conjuntos fx 2 E W f .x/ 6 tg, fx 2 E W f .x/ > tg y fx 2 E W f .x/ D tg son cerrados
en E.
1.34 Corolario. Sean d y dos distancias en un conjunto no vaco E. Equivalen las afirmaciones siguientes:
a) d y son distancias equivalentes.
b) Las aplicaciones identidad entre los espacios mtricos .E; d/ y .E; / son continuas.
c) Los espacios mtricos .E; d/ y .E; / tienen las mismas sucesiones convergentes.
Sea .E; d/ un espacio mtrico, A un subconjunto no vaco de E y notemos djA la restriccin
de d a A A; es decir, djA W A A ! RC
o es la aplicacin definida por:
djA .x; y/ D d.x; y/
8.x; y/ 2 A A
Es inmediato comprobar que djA es una distancia en A que se llama distancia inducida en A por
la distancia d. Por tanto .A; djA / es un espacio mtrico. Se dice que .A; djA / es un subespacio
mtrico de .E; d/.
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
14
Ejercicios propuestos
f .y/j
8.x; y/ 2 R R
Prueba que:
a) es una distancia en R equivalente a la usual.
b) Si la funcin f est mayorada o minorada entonces el espacio mtrico .R; / no es
completo.
52. En el intervalo ED0; 1 se define la distancia:
1
1
.x; y/ D
8.x; y/ 2 E E
x y
Como sabemos, todo espacio mtrico se considera como espacio topolgico con la topologa asociada a la distancia, por tanto, todo subconjunto no vaco A de un espacio mtrico .E; d/ tambin se considera como espacio topolgico con la topologa que tiene como
subespacio mtrico .A; d/. Los abiertos en esta topologa se llaman abiertos relativos y los cerrados se llaman cerrados relativos de A. Teniendo en cuenta que las bolas abiertas, BA .a; r /,
de un punto 2 A en .A; d/ son de la forma:
BA .a; r / D fx 2 A W d.x; a/ < r g D fx 2 E W d.x; a/ < r g \ A D B.a; r / \ A
es fcil describir los abiertos y los cerrados relativos de A.
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
15
Continuidad uniforme
Piensa un par de minutos antes de responder a la siguiente pregunta. Supongamos que f
es una funcin real continua en un intervalo I . Es cierto que si tomamos valores x; y 2 I muy
prximos entre s los correspondientes valores de la funcin f .x/; f .y/ tambin estn muy
prximos entre s?
Si tu respuesta ha sido afirmativa, como suele ser, te equivocas. Considera la funcin continua f W0; 1 ! R dada por f .x/ D 1=x. Los puntos 10 10 y 10 20 estn muy prximos entre
s: 10 10 10 20 < 10 10 , pero f .10 10 / D 1010 y f .10 20 / D 1020 estn muy distantes
entre s. No hay nada extrao en este comportamiento. A cualquier funcin continua cuya grfica tenga una asntota vertical le pasa lo mismo: hay puntos muy prximos entre s en los que
la funcin toma valores muy distantes entre s.
Pero tambin hay funciones continuas y acotadas que se comportan de forma parecida.
Considera la funcin continua gW0; 1 ! R dada por g.x/Dsen.1=x/. Es una funcin acotada:
el mayor valor que toma es 1 y el menor valor que toma es 1, de hecho se tiene que g.0; 1/D
1
1; 1. Sea n un nmero natural. Los puntos xn D 2nC=2
e yn D 2n 1 =2 estn, para n
suficientemente grande, muy prximos entre s; de hecho fxn yn g ! 0. Los valores que
toma en ellos la funcin g.xn / D 1 y g.yn / D 1 distan entre s 2 unidades (que es la mxima
distancia que puede haber entre valores tomados por esta funcin).
Si lo piensas un poco, te dars cuenta de que en ambos ejemplos este comportamiento
se debe a que las funciones f y g oscilan mucho en intervalos arbitrariamente pequeos.
Conviene precisar la idea de oscilacin en un intervalo.
Se define la oscilacin de una funcin real f en un intervalo J contenido en el dominio de
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
16
definicin de f como:
!.f; J / D
sup f .J /
C1;
8" 2 R
9 2R
d.x; y/ 6
W
x; y 2 A
(1.2)
1.38 Observaciones.
El concepto de continuidad uniforme es un concepto global: depende del comportamiento de la funcin en todo un conjunto. No tiene sentido decir que una funcin es uniformemente
continua en un punto: la continuidad uniforme no es un concepto local.
Es muy interesante comparar las definiciones de continuidad puntual 1.29 y de continuidad
uniforme 1.37. Resulta evidente que la continuidad uniforme en A implica la continuidad en
todo punto de A: toda funcin uniformemente continua en un conjunto es continua en dicho
conjunto.
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
17
En general, no es cierto que una funcin continua en un conjunto A sea uniformemente continua en A como lo prueban los ejemplos dados al principio. Pero hay una situacin particular
en la que dicha afirmacin s es cierta. Este es el contenido del siguiente teorema. Se trata de
un resultado importante en el que pueden destacarse aportaciones de varios matemticos. Dirichlet ya lo incluy en sus lecciones de 1862 y en 1872 Heine dio una primera demostracin
del mismo. Posteriormente Weierstrass, Borel y Lebesgue generalizaron el resultado inicial.
1.39 Teorema (Heine). Toda funcin continua en un conjunto compacto K de un espacio
mtrico con valores en un espacio mtrico es uniformemente continua en K.
Por los resultados vistos hasta ahora, queda claro que la compacidad es una propiedad que
tiene importantes consecuencias de muy variado tipo. El siguiente resultado nos dice que dicha
propiedad debe usarse con cuidado en espacios normados de dimensin infinita.
Se dice que un espacio normado es localmente compacto si las bolas cerradas son compactos. Teniendo en cuenta que en un espacio normado dos bolas cerradas cualesquiera de radios
positivos son homeomorfas, resulta que un espacio normado es localmente compacto si, y slo
si, hay alguna bola cerrada de radio positivo que sea compacta.
1.40 Teorema (Riesz, 1918). Un espacio normado es de dimensin finita si, y slo si, es localmente compacto.
Ejercicios propuestos
53. Justifica con un ejemplo que la imagen de una sucesin de Cauchy por una funcin
continua puede no ser una sucesin de Cauchy.
54. Prueba que la imagen de una sucesin de Cauchy por una funcin uniformemente continua es una sucesin de Cauchy.
55. Prueba que un espacio normado es localmente compacto si, y slo si, hay alguna bola
cerrada de radio positivo que sea compacta.
56. Sea `1 el espacio normado de las sucesiones acotadas de nmeros reales con la norma uniforme,
[es decir, `1 D .B.N/; k k1 /. Supongamos que A B.0; 1/ es tal que
B.0; 1/
B.x; 1=2/. Prueba que A es un conjunto infinito.
x2A
8x; y 2 A:
Si M < 1 se dice que f es una aplicacin contractiva. Cualquier M > 0 que satisfaga la
desigualdad anterior se llama una constante de Lipschitz para f .
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
18
Ejercicios propuestos
a) Kp es compacto y Kp KpC1 .
b)
1
[
pD1
Kp D A.
Universidad de Granada
Dpto. de Anlisis Matemtico
Continuidad
19
Deduce que dados n 2 N y una funcin f 2 C .0; 1/, existe una funcin polinmica h de
grado menor o igual que n tal que:
w1
0
jf .x/
h.x/j dx 6
w1
0
jf .x/
p.x/j dx
1.43 Proposicin. Toda aplicacin lineal de un espacio normado de dimensin finita en otro
espacio normado es continua.
Reciben el nombre de campos escalares las funciones definidas en subconjuntos de Rn
que toman valores en R. Un campo escalar es, por tanto, una funcin real que depende de n
variables.
Un campo escalar de una variables es, simplemente, una funcin real de variable real; un
campo escalar de dos variables es una funcin definida en un subconjunto del plano que toma
valores reales; un campo escalar de tres variables es una funcin definida en un subconjunto
del espacio que toma valores reales.
Los campos escalares de una o dos variables se pueden visualizar por medio de sus representaciones grficas que son, respectivamente, curvas en el plano o superficies en el espacio.
No es posible visualizar campos escalares de tres o ms variables porque sus grficas estn en
espacios de dimensin mayor o igual que 4.
Naturalmente, los campos escalares se pueden sumar, multiplicar y dividir (donde no se
anule el denominador) al igual que lo hacemos con las funciones reales. Es fcil probar, usando
la caracterizacin secuencial de la continuidad, que dichas operaciones conservan la continuidad.
Ejemplos de campos escalares continuos lo proporcionan las proyecciones sobre los ejes
coordenados. Representaremos por k la aplicacin k W Rn ! R que a cada vector x D
.x1 ; x2 ; : : : ; xn / 2 Rn hace corresponder su coordenada k-sima en la base cannica:
k .x/ D k .x1 ; x2 ; : : : ; xn / D xk
Dicha aplicacin se llama proyeccin coordenada k-sima. Es una aplicacin lineal.
Los campos escalares ms sencillos son las funciones polinmicas de varias variables.
Dichas funciones se obtienen como sumas de productos de proyecciones sobre los ejes coordenados y son, por tanto, continuas.
Para n D 3 las proyecciones sobre los ejes coordenados son
1 .x; y; z/ D x;
2 .x; y; z/ D y;
3 .x; y; z/ D z
Universidad de Granada
Dpto. de Anlisis Matemtico
Lmite funcional
20
P .x1 ; x2 ; : : : ; xn /
Q.x1 ; x2 ; : : : ; xn /
f .x; y/ D log.1 C x 2 C y 2 /;
f .x; y; z/ D
1 C xy 2 C xz 2
2 C arc tg.xyz/
(1.3)
Una notacin mejor para el lmite sera lKm f .x/ D ` para indicar que solamente se consix!
x2A
21
1.47 Proposicin (Carcter local del lmite funcional). Sean .E; d/, .F; / espacios mtricos, A E, f W A ! F y 2 A 0 . Supongamos que hay alguna bola abierta B.; r / tal que
la restriccin fjB de f al conjunto B D B.; r / \ A tiene lmite en igual a `. Entonces f
tambin tiene lmite en igual a `.
Rm .
22
Ejercicios propuestos
x!
Teniendo en cuenta este ejercicio, para estudiar lmites o continuidad de campos vectoriales
es suficiente hacerlo para campos escalares.
Campos escalares definidos en un mismo conjunto se pueden sumar, multiplicar y dividir.
As mismo, campos vectoriales con igual nmero de funciones componentes pueden sumarse, y tambin podemos multiplicar un campo vectorial por un campo escalar. Todo ello en el
supuesto de que los campos considerados estn definidos en un mismo conjunto. Tambin pueden componerse campos vectoriales entre s o con campos escalares. Todas estas operaciones
se comportan respecto a la continuidad y al lmite funcional en la forma que cabe esperar.
Tiene inters definir el concepto de campo escalar divergente en un punto que generaliza lo
que ya conoces de primer curso.
1.49 Definicin. Sea f W A ! R donde A Rn y 2 A 0 . Se dice que f es positivamente
divergente en si para todo M > 0 existe > 0 tal que para todo x 2 A con 0 < kx k <
se verifica que jf .x/j > M . Simblicamente escribimos lKm f .x/ D C1.
x!
f es positivamente divergente en ,
x!
En la definicin anterior k k es cualquier norma en Rn , pues sabemos que todas ellas son
topolgicamente equivalentes por lo que podemos usar la que queramos para estudiar propiedades topolgicas como son lmites o continuidad.
En lo que sigue vamos a considerar el caso ms sencillo de un campo escalar de dos variables: f W A ! R donde A R2 . Supongamos que 2 A 0 y queremos estudiar el lmite
lKm f .x/. En R2 tenemos que x D .x; y/, D .a; b/, por lo que el lmite anterior se escribe
x!
usualmente en la forma
lKm
.x;y/!.a;b/
lKm
x;y!a;b
esta situacin el resultado de intentar evaluar la funcin f en .a; b/ va a ser una indeterminacin, es decir, una expresin del tipo 0=0,1=1 o 11 y otras que ya conoces de primer curso.
Veamos un ejemplo.
sen.x 2 C y 2 /
. Esta funcin es un campo escalar definido (y
x2 C y2
continuo por qu?) en R2 n f.0; 0/g. Si tratas de evaluar f .x; y/ en .0; 0/ obtienes la indeterminacin 0=0. En este caso, como en otros parecidos, hay una forma sencilla de proceder. Basta
Universidad de Granada
Dpto. de Anlisis Matemtico
23
sen.t/
donde t D x 2 C y 2 . Dicho de otra
t
sen.t/
forma, el campo escalar f es la composicin de la funcin g.t/D
con la funcin polint
mica h.x; y/ D x 2 C y 2 . Llegado aqu ya debes intuir lo que vale el lmite
lKm
f .x; y/:
darse cuenta de que nuestra funcin es de la forma
.x;y/!.0;0/
cuando .x; y/ est muy prximo a .0; 0/ el nmero t D x 2 C y 2 est muy prximo tambin a
sen.t/
0 por lo que
est muy prximo a 1.
t
Justifiquemos que
lKm
f .x; y/ D 1. Para ello definamos g.0/ D 1, con lo que la
.x;y/!.0;0/
sen t
D 1). Ahora,
t !0 t
est claro que definiendo f .0; 0/ D 1 la funcin f as extendida es continua en .0; 0/ porque es
composicin de funciones continuas: la funcin h.x; y/Dx 2 Cy 2 que es continua y h.0; 0/D0
y la funcin g que es continua y g.0/ D 1. Luego
lKm
f .x; y/ D 1.
funcin g resulta continua en 0 (porque ya conoces el famoso lmite lKm
.x;y/!.0;0/
Otra forma de proceder, ms cmoda en este caso, es trabajar con sucesiones. Para ello sea
f.xn ; yn /g ! .0; 0/ con .xn ; yn / .0; 0/. Pongamos zn D xn2 C yn2 . Claramente, fzn g ! 0 y
zn 0 por lo que:
sen.xn2 C yn2 / sen.zn /
h.xn ; yn / D
D
! 1:
zn
xn2 C yn2
Como esto es cierto para toda sucesin en las condiciones anteriores, deducimos, por la proposicin 1.45, que
lKm
f .x; y/ D 1.
.x;y/!.0;0/
Ejercicios propuestos
63. Estudia la continuidad de los siguientes campos escalares y el lmite en el punto indicado en cada caso:
1
log.1 C x 2 C y 2 /
definido en R2 n f.0; 0/g, D .0; 0/.
x2 C y2
2
ex ey 1
c) f .x; y/ D 2
definido en R2 n f.0; 0/g, D .0; 0/.
x C y2
cos.x 2 C y 2 / 1
definido en R2 n f.0; 0/g, D .0; 0/.
.x 2 C y 2 /2
sen x arc tg y
e) f .x; y/ D
definido en A D .x; y/ 2 R2 W xy 0 , D .0; 0/.
xy
d) f .x; y/ D
x2 C y2
Universidad de Granada
Dpto. de Anlisis Matemtico
24
Para no tener que indicar en cada caso el conjunto donde est definido un campo escalar, te
recuerdo que si un campo escalar viene dado por medio de funciones elementales su dominio
natural de definicin es el conjunto ms grande en el que las operaciones que definen a dicho
campo tienen sentido para valores reales de las variables.
Lmites direccionales y lmite de un campo escalar a lo largo de una curva
En la recta real solamente podemos aproximarnos a un punto 2 R por dos direcciones: por
valores mayores y por valores menores que . Como sabes esto da lugar a los lmites laterales
en . Muy diferente situacin tenemos si 2 R2 pues podemos acercarnos a por infinitas
direcciones, a saber, todas las de la forma C tu donde u es un vector unitario en R2 y t 2 R.
Naturalmente, si existe el lmite lKm f .x/ D ` entonces para todo conjunto B A con 2 B 0
x!
x2A
tiene que:
lKm f .x/ D lKm f . C tu/
t !0
x!
x2B
Este lmite se llama lmite de f en segn la direccin dada por el vector u. Segn acabamos
de decir, si existe lKm f .x/ D ` entonces tambin debe ser lKm f . C tu/ D ` para todo vector
t !0
x!
x2A
unitario u.
Podemos generalizar considerando en vez de una recta que pasa por otro tipo de curvas
que pasan por , por ejemplo, parbolas .t/ D .t; t 2 / o .t/ D .t 2 ; t/. En general, si .t/ D
.x.t/; y.t// es una curva que pasa por , .0/ D , el lmite lKm f ..t// se llama lmite de f
t !0
t !0
t !0
Es frecuente escribir una recta que pasa por .a; b/ en la forma .t/ D .a C t; b C t/ donde
2 R es un parmetro fijo la pendiente de la recta en cuyo caso los lmites direccionales en
.a; b/ vienen dados por:
lKm f .a C t; b C t/
t !0
Cuando .a; b/ D .0; 0/ las rectas por el origen suelen representarse en la forma .t/ D .t; t/ o
Con frecuencia es ms cmodo estudiar los lmites en .0; 0/. Esto puede hacerse siempre
mediante una traslacin pues:
lKm
.x;y/!.a;b/
Universidad de Granada
Dpto. de Anlisis Matemtico
f .x; y/ D
lKm
.x;y/!.0;0/
f .x C a; y C b/
Prof. Javier Prez
Clculo Diferencial en Rn
25
Hay que observar que la existencia de todos los lmites direccionales en un punto siendo, adems, todos ellos iguales, no garantiza la existencia del lmite en dicho punto.
y
1.51 Ejemplo. Sea f .x; y/ D sen.x 2 C y 2 / definido en A D .x; y/ 2 R2 ; x 0 . Estux
diemos el lmite de f en D .0; 0/.
Consideremos rectas por el origen .t/ D .t; t/. Tenemos f ..t// D sen..1 C 2 /t 2 /,
por lo que lKm f .t; t/ D 0. Por tanto, los lmites segn todas las direcciones que pasan por
t !0
el origen (excepto la direccin del eje de ordenadas .t/ D .0; t/ en la que no est definida f )
existen y son todos iguales a 0.
Observa que si .t/ D .x.t/; y.t// es una curva con .0; 0/ D 0, se tiene que:
f ..t// D
y.t/
sen.x.t/2 C y.t/2 /
x.t/
Como las curvas son funciones continuas lKm sen.x.t/2 C y.t/2 / D sen.0/ D 0. Por lo que para
t !0
y.t/
est acotado se tendr que
x.t/
lKm f ..t// D 0.
t !0
A la vista de lo anterior, podemos buscar una curva .t/ D .x.t/; y.t// con .0; 0/ D 0 tal
y.t/
que lKm
D 1 y que sen.x.t/2 C y.t/2 / tienda a 0 ms lentamente. Como sabemos que
t !0 x.t/
sen.t/ t para t ! 0, la idea es tomar una curva .t/ D .x.t/; y.t// que verifique:
8
s
9
y.t/
1
>
jtj
>
D 2
>
x.t/ D t 2
=
<
4
x.t/ t
s 1Ct
>
>
jtj
>
;
2
2
: y.t/ D
x.t/ C y.t/ D t
1 C t4
Para dicha curva (que pasa por .0; 0/) tenemos que:
f ..t// D f .x.t/; y.t// D
1
1 sen.jtj/
sen.jtj/ D
lKm f ..t// D C1
jtj jtj
t !0
t2
El campo escalar f diverge positivamente a lo largo de dicha curva, por lo que dicho campo
no tiene lmite en .0; 0/.
Lmites iterados
Para estudiar la existencia del lmite de un campo escalar de dos variables suelen usarse
los lmites iterados. Consideremos un campo escalar f W A ! R donde A es de la forma
A D I J n f.0; 0/g siendo I , J intervalos abiertos en R que contienen al 0. Esta situacin no
es restrictiva dado el carcter local del lmite. Supongamos que para todo x 2 I n f0g existe el
lmite lKm f .x; y/. Tal lmite depender en general del valor fijado de x 2 I n f0g. Definimos:
y!0
G W I n f0g ! R
Universidad de Granada
Dpto. de Anlisis Matemtico
(1.4)
Prof. Javier Prez
Clculo Diferencial en Rn
26
Si la funcin G tiene lmite en 0 dicho lmite se llama un lmite iterado de f en .0; 0/ y suele
representarse en la forma:
lKm G.x/ D lKm lKm f .x; y/
(1.5)
x!0
x!0
y!0
Anlogamente, si para todo y 2 J n f0g existe el lmite lKm f .x; y/, podemos definir la funcin:
x!0
H W J n f0g ! R
(1.6)
x!0
Si la funcin H tiene lmite en 0 dicho lmite se llama un lmite iterado de f en .0; 0/ y suele
representarse en la forma:
lKm H .y/ D lKm lKm f .x; y/
(1.7)
y!0
y!0
x!0
Los lmites iterados pueden no existir incluso aunque exista el lmite de f en .0; 0/.
1.52 Proposicin. En la situacin que estamos considerando, supongamos que se verifica
alguna de las siguientes afirmaciones:
Los dos lmites iterados (1.5) y (1.7) existen y son distintos.
La funcin G definida en (1.4) existe pero no existe el lmite de G en 0.
La funcin H definida en (1.6) existe pero no existe el lmite de H en 0.
Entonces no existe el lmite de f en .0; 0/.
Si existe solamente uno de los lmites iterados o bien ambos y coinciden, entonces el lmite
de f en .0; 0/ puede no existir, pero si existe es igual al valor de dicho lmite iterado.
Observa que los lmites iterados son lmites de funciones de una variable por lo que suelen
ser fciles de calcular.
Ejercicios propuestos
64. Estudia la existencia del lmite en .0; 0/ para cada uno de los siguientes campos escalares
definidos en R2 n f.0; 0/g.
y
a) f .x; y/ D p
2
x C y2
d) f .x; y/ D
xy
x2 C y2
b) f .x; y/ D
e) f .x; y/ D
x2 y2
x2 C y2
.x C y/2
x2 C y2
c) f .x; y/ D
f) f .x; y/ D
x 2y
x4 C y2
x sen y C y sen x
x2 C y2
En los ejemplos de campos escalares de dos variables que hemos considerado aparece con
frecuencia la expresin x 2 Cy 2 . En los campos escalares de tres variables aparece con frecuencia la expresin x 2 Cy 2 Cz 2 . Esto no es un capricho matemtico sino que procede de la Fsica:
Universidad de Granada
Dpto. de Anlisis Matemtico
27
los potenciales newtonianos y los potenciales elctricos varan en razn inversa a la distancia
eucldea y las fuerzas de atraccin gravitatoria y elctrica varan en razn inversa al cuadrado
de la distancia eucldea. La expresin x 2 C y 2 se simplifica usando coordenadas polares, es
decir, escribiendo .x; y/ D . cos #; sen #/ con lo cual x 2 C y 2 D 2 .
1.53 Proposicin. Sea f W A ! R donde A D B2 ..0; 0/; r /n f.0; 0/g y B2 ..0; 0/; r / es la bola
eucldea abierta en R2 centrada en el origen de radio r . Definamos la funcin:
gW0; r 0; 2 ! R dada por
lKm
.x;y/!.0;0/
f .x; y/ D `.
b) Para todo " > 0 existe > 0 tal que para todo 20; se verifica que
sup fjf . cos #; sen #/
`j W 0 6 # 6 2g 6 ":
Ejercicios propuestos
65. Estudia la existencia del lmite en .0; 0/, y calcula su valor cuando exista, para cada uno
de los siguientes campos escalares definidos en R2 n f.0; 0/g.
p
x3 y3
log.1 C x 2 C y 2 /
x 2y
b) f .x; y/ D 2
c) f .x; y/ D
a) f .x; y/ D 2
jxj C jyj
x C y2
x C y2
d) f .x; y/ D
sen y log.1 C x 2 /
x2 C y2
e) f .x; y/ D
x sen y
y sen x
3
.x 2 C y 2 / 2
66. Estudia la existencia del lmite en .0; 0/, y calcula su valor cuando exista, para cada uno
de los siguientes campos escalares definidos en RC RC .
sen x C sen y
x ey Cy ex
1
1
a) f .x; y/D
b) f .x; y/D
c) f .x; y/D 2 C 2 sen.xy/
xCy
xCy
x
y
Conjuntos conexos
Queremos definir una clase de conjuntos en los espacios mtricos que desempee un papel
anlogo al de los intervalos en la recta real. Los intervalos pueden caracterizarse fcilmente
con el teorema de Bolzano.
1.54 Proposicin. Sea C R. Equivalen las afirmaciones:
a) C es un intervalo.
b) Para toda funcin continua f W C ! R se verifica que f .C / es un intervalo.
Universidad de Granada
Dpto. de Anlisis Matemtico
28
Ejercicios propuestos
29
Los conjuntos abiertos y conexos se llaman dominios. Los dominios de Rn tienen una
caracterizacin muy til.
1.58 Proposicin. Sea Rn un conjunto abierto. Equivalen las siguientes afirmaciones:
a) es conexo.
b) Todo par de puntos de puede unirse por medio de una curva sin salirse de . Es decir,
para cada par de puntos a; b 2 existe una funcin continua W 0; 1 ! Rn , tal que .0/ D a,
.1/ D b y para todo t 2 0; 1 se tiene que .t/ 2 .
Intuitivamente, un dominio es un conjunto abierto de un solo trozo.
Universidad de Granada
Dpto. de Anlisis Matemtico
Captulo
Curvas en Rn
Como ya debes saber, una curva en Rn es una aplicacin continua W a; b ! Rn . El
punto .a/ se llama origen y el punto .b/ extremo de la curva. Naturalmente, como .t/ 2 Rn
podremos expresarlo por medio de sus componentes en la base cannica que sern funciones
de t.
.t/ D .1 .t/; 2 .t/; : : : ; n .t//
Las funciones k .t/ se llaman funciones componentes de . Se dice que es derivable en un
punto t cuando todas sus funciones componentes son derivables en dicho punto, en cuyo la
derivada de en t es, por definicin, el vector
0 .t/ D .10 .t/; 20 .t/; : : : ; n0 .t//
Dado un punto aD .t0 / tal que 0 .t0 /0, se define la recta tangente a en el punto a (aunque
es ms apropiado decir en el punto t0 ) como la recta de ecuacin paramtrica a C t 0 .t0 /, es
decir, la recta que pasa por a con vector de direccin 0 .t0 /.
Cuando se interpreta .t/ como la funcin de trayectoria de un mvil, entonces su velocidad en un instante t es el vector 0 .t/ y su rapidez es k 0 .t/k2 . La distancia que recorre dicho
mvil entre dos instantes t D a y t D b viene dada por
wb
a
k 0 .t/k2 dt :
30
31
f .a/
a
Dados un punto a 2 Rn y una direccin u, la recta que pasa por a con direccin u es la
imagen de la aplicacin W Rn ! R dada por .t/ D a C tu, es decir, es el conjunto de puntos
fa C tu W t 2 Rg.
t !0
f .a C tu/
t
f .a/
(2.1)
D
D
f .a C tek / f .a/
f .a1 ; : : : ; ak C t; : : : ; an /
D lKm
t !0
t
t
f .a1 ; : : : ; xk ; : : : ; an / f .a1 ; : : : ; ak ; : : : ; an /
lKm
xk !ak
xk ak
lKm
f .a1 ; : : : ; ak ; : : : ; an /
t !0
Universidad de Granada
Dpto. de Anlisis Matemtico
(2.2)
32
@f
.a/.
@xk
Observa que las derivadas que acabamos de definir son derivadas de funciones reales de
una variable real pues para calcular la derivada de un campo escalar f en un punto a en la
direccin u lo que se hace es derivar en t D 0 la funcin t 7! f .a C tu/ que es una funcin
real de una variable real.
Observa que la segunda igualdad de (2.2) nos dice que, para calcular la derivada parcial
Dk f .a/, lo que se hace es derivar f respecto a la variable k-sima considerando fijas las
dems variables. Por eso se llaman derivadas parciales.
lKm
f .a; b/
f .x; b/
x
f .a; b/
f .a; y/
D lKm
y
y!b
D lKm
x!a
f .a; b/
a
f .a; b/
b
Es decir, lo que hacemos es derivar las funciones parciales x 7! f .x; b/ y y 7! f .a; y/ en los
puntos x D a e y D b respectivamente.
La grfica de f , es decir, el conjunto S D f.x; y; f .x; y// W .x; y/ 2 g es una superficie
en R3 . Las funciones
1 .x/ D .x; b; f .x; b//;
son curvas contenidas en dicha superficie que pasan por el punto .a; b/. Dichas curvas se obtienen cortando la superficie S por los planos y D b y x D a respectivamente. Los vectores
tangentes a dichas curvas en los puntos 1 .a/ y 2 .b/ son, respectivamente
1 0 .a/ D .1; 0; D1 f .a; b//;
En la figura (2.1) se ha representado la grfica de f y las curvas obtenidas cortndola por los
planos x D a e y D b junto a sus vectores tangentes en el punto .a; b/
Cuando un campo escalar f tiene derivadas parciales en todos los puntos de un conjunto
abierto Rn , podemos definir las funciones derivadas parciales (de primer orden) de f ,
Dk f W ! R que a cada punto x 2 E hace corresponder el nmero Dk f .x/. Dichas funciones
son tambin campos escalares.
2.2 Definicin. Sea f un campo escalar. Se define el vector gradiente de f en un punto a
como el vector
rf .a/ D D1 f .a/; D2 f .a/; : : : ; Dn f .a/
supuesto, claro est, que dichas derivadas parciales existan.
Universidad de Granada
Dpto. de Anlisis Matemtico
33
f .a/
f .x/
D f 0 .a/ lKm
x!a
a
f .a/
x
f 0 .a/.x
a
a/
D0
a/ es la recta tangente a
cartesiana xnC1 Df .a/C rf .a/x a . Este hiperplano pasa por el punto .a; f .a// 2 RnC1 y
es la generalizacin natural de la recta tangente a la grfica de una funcin. Observa el parecido
formal entre las expresiones
f .x/
f .a/
kx
rf .a/x
ak
a
Prof. Javier Prez
Clculo Diferencial en Rn
34
La igualdad (2.3) dice que lKm R.x; a/ D 0. Con lo que, otra forma equivalente de escribir la
x!a
igualdad (2.3) es la siguiente.
.x/ D
n
X
j D1
xj .ej / D O x
f .x/
f .a/ .x
kx ak
a/
D0
(2.5)
Adems, caso de que se cumpla b) se tiene que es la aplicacin lineal dada por
.x/ D rf .a/x .
2.5 Definicin. Sea f un campo escalar diferenciable en un punto a. El hiperplano en RnC1
de ecuacin cartesiana
Du f .a/ D rf .a/u
f .a C tu/
t !0
t
lKm
f .a/
Universidad de Granada
Dpto. de Anlisis Matemtico
jtj
D rf .a/u C lKm R.a C tu; a/ D rf .a/u :
t !0
t
35
2.7 Corolario. Sea f un campo escalar diferenciable en un punto a con vector gradiente no
nulo en a.
a) La direccin en la que la derivada direccional de f en a es mxima es la direccin dada
rf .a/
por el gradiente, es decir, la direccin u D
.
krf .a/k2
b) La direccin en la que la derivada direccional de f en a es mnima es la direccin
rf .a/
opuesta a la dada por el gradiente, es decir, la direccin v D
.
krf .a/k2
Y la igualdad se da si, y solo si, hay un nmero 2 R tal que w Drf .a/. Tomando normas en
esta igualdad se deduce que jj D 1=krf .a/k2 , es decir las direcciones w que hacen mximo
rf .a/
rf .a/
jDw f .a/j D j rf .a/w j son u D
y vD
.
krf .a/k2
krf .a/k2
Para la primera se tiene que
rf .a/
1
rf .a/rf .a/ D krf .a/k2
Du f .a/ D rf .a/
D
krf .a/k2
krf .a/k2
que es el valor mximo que puede tener una derivada direccional.
Anlogamente, para la segunda se tiene que
Dv f .a/ D krf .a/k2
que es el valor mnimo que puede tener una derivada direccional.
El resultado anterior nos dice que el vector gradiente en un punto seala la direccin en la
que el campo tiene mximo crecimiento en dicho punto. Mientras que en la direccin opuesta a
la del vector gradiente en un punto el campo tiene mximo decrecimiento.
2.8 Proposicin. Sean f un campo escalar definido en un abierto Rn y W I ! Rn una
curva en Rn que toma valores en . Supongamos que es derivable en un punto t0 y que f es
diferenciable en el punto a D .t0 / 2 . Entonces se verifica que la funcin h.t/ D f ..t// es
derivable en t0 y su derivada viene dada por:
h 0 .t
n
0
.t0 / D
Dk f .a/k0 .t0 /
0 / D rf .a/
(2.6)
kD1
X
h 0 .t/ D rf ..t// 0 .t/ D
Dk f ..t//k0 .t/
(2.7)
kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
36
f ..t0 // D rf .a/.t/
h.t0 / D f ..t//
Dividiendo por t
t0 tenemos
h.t/ h.t0
f ..t//
D
t t0
t
.t/
f ..t0 //
D rf .a/
t0
t
.t/
.t0 /
t0
lKm
h.t/
t
t !t0
t !t0
.t0 /
t0
C R..t/; .t0 //
k.t/
t
.t0 /k
.t0 /k
t0
h.t0 /
D rf .a/ 0 .t0 /
t0
8x 2
(2.8)
b/
h.x/
h.a/
g 0 .b/ rf .a/x
kx ak
rf .a/x a
D g .b/ C '.f .x// R.x; a/ C '.f .x//
kx ak
0
Podemos suponer que la norma, k k, que hemos fijado en Rn es la eucldea para aplicar la
desigualdad de Cauchy-Schwarz:
rf .a/x a
'.f .x//
6 j'.f .x//j krf .a/k
kx ak
Universidad de Granada
Dpto. de Anlisis Matemtico
37
Y teniendo en cuenta que lKm R.x; a/ D 0 y lKm '.f .x// D 0, deducimos que
x!a
h.x/
lKm
x!a
h.a/
x!a
g 0 .b/ rf .a/x
kx ak
D0
Que un campo escalar tenga derivadas parciales en un punto es una propiedad muy dbil.
xy
Por ejemplo, el campo escalar f .x; y/ D 2
; f .0; 0/ D 0 tiene derivadas parciales nulas
x C y2
en .0; 0/ pero no es continuo en dicho punto.
La propiedad de ser diferenciable es mucho ms fuerte que tener derivadas parciales.
2.10 Proposicin. Un campo escalar diferenciable en un punto es continuo en dicho punto.
Para campos escalares diferenciables hay un anlogo al teorema del valor medio para funciones derivables reales.
El segmento que une dos puntos u; v 2 Rn es el conjunto u; v Dfu C t.v
u/ W 0 6 t 6 1g.
2.11 Teorema (Del valor medio para campos escalares). Sea f un campo escalar diferenciable
en un abierto Rn . Sean a; b 2 y supongamos que el segmento a; b . Entonces
existe un punto c 2 a; b tal que se verifica la igualdad:
jf .b/
f .a/j 6 kb
Universidad de Granada
Dpto. de Anlisis Matemtico
38
En la prctica suele suponerse que los campos escalares tienen derivadas parciales continuas. Esta hiptesis garantiza que son diferenciables y es suficiente para justificar la mayora
de los resultados que siguen.
Es sabido que una funcin derivable en un intervalo con derivada nula es constante. Para
campos escalares hay un resultado anlogo. Observa la hiptesis de que el campo est definido
en un dominio.
2.14 Proposicin. Un campo escalar definido en un dominio con derivadas parciales nulas en
todo punto del mismo es constante.
Ejercicios propuestos
n
X
j D1
fj .xj /
8x D .x1 ; x2 ; : : : ; xn / 2 I n
Curvas en el plano
Una curva en el plano puede venir dada de tres formas:
a) Como la grfica de una funcin y D f .x/ donde x 2 I siendo I un intervalo de R.
D f.x; f .x// W x 2 I g
Universidad de Granada
Dpto. de Anlisis Matemtico
39
y) y tambin es
b D f 0 .a/.x
a/
rg.a; b/.x a; y b/ D 0
Se supone que rg.a; b/ 0 pues en otro caso, la tangente en .a; b/ no est definida. El
vector gradiente rg.a; b/ es ortogonal a en el punto .a; b/.
Estas ltimas afirmaciones requieren alguna justificacin. Para ello, supongamos que conocemos una representacin paramtrica local de en torno al punto .a; b/. Es decir, hay
una curva de la forma .t/ D .1 .t/; 2 .t// 2 que pasa por el punto .a; b/ y que es
derivable1 . Pongamos .t0 / D .a; b/. Por lo visto en b0 ), sabemos que la tangente a en
.a; b/ es la recta que pasa por el punto .a; b/ con vector de direccin
0 .t0 /. Pongamos
0
h.t/ D g..t//. En virtud de la igualdad(2.7),tenemos que h .t/ D rg..t// 0 .t/ . Pero
h.t/ D 0, por lo que h 0 .t/ D rg..t// 0 .t/ D 0. Resulta as que el vector rg..t// es
ortogonal al vector tangente 0 .t/. En particular, el vector rg.a; b/ es ortogonal al vector
1 El teorema de la funcin
implcita, que se ver ms adelante, garantiza la existencia de dicha curva siempre que
el vector gradiente rg.a; b/ 0.
Universidad de Granada
Dpto. de Anlisis Matemtico
40
0 .t0 / tangente a en .a; b/. Concluimos que la recta que pasa por .a; b/ y tiene como
vector ortogonal rg.a; b/ es la recta tangente
a en .a;b/, pero dicha recta es justamente
El vector gradiente rg.x; y/ de un campo escalar es ortogonal en todo punto .x; y/ (en
el que rg.x; y/ 0) a la curva de nivel que pasa por dicho punto.
Superficies en R3
Una superficie S en el espacio R3 puede venir dada de tres formas:
a) Como la grfica de una funcin y D f .x; y/ donde .x; y/ 2 A siendo A un conjunto de R2 .
S D f.x; y; f .x; y// W .x; y/ 2 Ag
b) Por ecuaciones paramtricas .s; t/ D .x.s; t/; y.s; t/; z.s; t// donde .s; t/ 2 A R2 .
S D .A/ D f.x.s; t/; y.s; t/; z.s; t// W .s; t/ 2 Ag
c) De forma implcita como el conjunto de puntos g.x; y; z/ D 0 donde se anula una funcin
diferenciable de tres variables.
n
o
S D .x; y; z/ 2 R3 W g.x; y; z/ D 0
Observa que a) es un caso particular de c) (basta considerar g.x; y; z/Df .x; y/ z) y tambin
es un caso particular de b) (basta considerar .s; t/ D .s; t; f .s; t//). El plano tangente en un
punto de S viene dado en cada caso como sigue.
a0 ) El plano tangente en un punto .a; b; c/ D .a; b; f .a; b// 2 S es el plano de ecuacin cartesiana
@f
@f
z f .a; b/ D
.a; b/.x a/ C
.a; b/.y b/
@x
@y
@f
@f
Los vectores 1; 0;
.a; b/ y 0; 1;
.a; b/ son tangentes a S en .a; b; c/ y el vector
@x
@y
@f
@f
.a; b/;
.a; b/; 1
@x
@y
es ortogonal a S en el punto .a; b; c/.
b0 ) El plano tangente en un punto .s0 ; t0 / D .a; b; c/ 2 S es el plano de ecuaciones paramtricas
@
@
.x; y; z/ D .s0 ; t0 / C s .s0 ; t0 / C t .s0 ; t0 /
@s
@t
Donde
@
@x
@y
@z
.s0 ; t0 / D
.s0 ; t0 /; .s0 ; t0 /; .s0 ; t0 /
@s
@s
@s
@s
Universidad de Granada
Dpto. de Anlisis Matemtico
41
y
@
.s0 ; t0 / D
@t
@x
@y
@z
.s0 ; t0 /; .s0 ; t0 /; .s0 ; t0 /
@t
@t
@t
rg.a; b; c/.x a; y b; z c/ D 0
Se supone que rg.a; b; c/ 0 pues en otro caso, el plano tangente a S en .a; b; c/ no est
definido. El vector gradiente rg.a; b; c/ es ortogonal a S en el punto .a; b; c/.
Curvas en R3
Una curva en el espacio puede venir dada de dos formas.
a) Como interseccin de dos superficies S1 y S2 .
b) Por medio de ecuaciones paramtricas .t/ D .x.t/; y.t/; z.t// donde t 2 I R e I es un
intervalo.
D .I / D f.x.t/; y.t/; z.t// W t 2 I g
La tangente en un punto de viene dada en cada caso como sigue.
a0 ) La tangente en un punto .a; b; c/ 2 es la recta interseccin de los planos tangentes a S1 y
a S2 en .a; b; c/. Por ejemplo, si las superficies vienen dadas por sus ecuaciones implcitas.
n
o
S1 D .x; y; z/ 2 R3 W f .x; y; z/ D 0
3
D
.x;
y;
z/
2
R
W
g.x;
y;
z/
D
f
.x;
y;
z/
D
0
S2 D .x; y; z/ 2 R3 W g.x; y; z/ D 0
Entonces, las ecuaciones implcitas de la recta tangente son
:
rg.a; b; c/.x
a; y
b; z
c/ D 0
Donde se supone que los vectores gradiente rf .a; b; c/; rg.a; b; c/ son linealmente independientes pues, en otro caso, la recta tangente a la curva en .a; b; c/ no est definida.
b0 ) La tangente en un punto .t0 / D .a; b; c/ 2 es la recta de ecuaciones paramtricas
.x; y; z/ D .t0 / C t 0 .t0 / D .a; b; c/ C t.x 0 .t0 /; y 0 .t0 /; z 0 .t0 //
El vector 0 .t0 / D .x 0 .t0 /; y 0 .t0 /; z 0 .t0 // es tangente a en .a; b; c/.
Universidad de Granada
Dpto. de Anlisis Matemtico
42
@3 f
@3 f
@3 f
.x/I Djjj f .x/ D
.x/I
D
f
.x/
D
.x/
jj
k
@xi @xj @xk
@xj3
@xj2 @xk
Las derivadas parciales de cuarto orden son las derivadas parciales de las derivadas parciales
de tercer orden y as sucesivamente. Es natural preguntarse si el orden en que se realizan las
derivadas debe ser o no tenido en cuenta. Afortunadamente, en la mayora de los casos podemos
olvidarlo porque se verifica el siguiente utilsimo resultado.
2.15 Teorema (Schwarz). Las derivadas parciales de orden menor o igual que k de un campo
escalar con derivadas parciales de orden k continuas solamente dependen del nmero de veces
que se deriva parcialmente respecto de cada variable, pero el orden en que se realicen dichas
derivaciones no afecta para nada al resultado final.
2.16 Definicin. Se dice que un campo escalar f es de clase C k en un abierto si f tiene
derivadas parciales de orden k continuas en , en cuyo caso escribimos f 2 C k ./. Se dice
que f es de clase C 1 en si tiene derivadas parciales continuas de todos rdenes en .
Ejercicios propuestos
Como para calcular derivadas parciales de una funcin de varias variables se consideran
fijas todas las variables menos aquella respecto a la que se deriva, calcular derivadas parciales es lo mismo que derivar funciones de una variable. Solamente debes tener cuidado
para darte cuenta qu tipo de funcin es la que tienes que derivar porque ello puede depender de la variable respecto de la que derivas. Por ejemplo, la funcin f .x; y/ D x y
cuando fijas y (para derivar respecto a x) es una funcin potencia (la variable est en la
base y el exponente est fijo) y cuando fijas x (para derivar respecto a y) es una funcin
exponencial (la variable est en el exponente y la base est fija).
Te recuerdo que es muy frecuente, sobre todo en libros de Fsica e ingenieras diversas, representar las funciones por letras. As, lo que los matemticos solemos escribir
f .x; y/ D cos.xy/ C xy 2 , para indicar que f es una funcin de dos variables x e y cuyo
valor en el punto .x; y/ viene dado por cos.xy/Cxy 2 , suele expresarse de forma menos
Universidad de Granada
Dpto. de Anlisis Matemtico
43
xy
74. Calcula las derivadas parciales de primer y segundo orden del campo escalar:
f .x; y; z/ D
xy
1 C y2 C z2
75. Calcula las derivadas parciales de primer y segundo orden de los campos escalares:
(a) z D sen cos exy
(b) w D log 4 C arc tg.x=y/
(c) u D tg .xy/z
(d) v D arc tg z x y
76. Estudia la existencia de las derivadas en el origen segn las distintas direcciones del
campo escalar f W R2 ! R definido por:
f .x; y/ D
x.x 2 C y 2 /
x2 y2
si jxj jyj;
Universidad de Granada
Dpto. de Anlisis Matemtico
C sen t.
44
81. Calcula, para los siguientes campos escalares, el vector normal en P0 a la curva de nivel
que pasa por dicho punto.
!
y
1. f .x; y/ D arc tg p
P0 D .1; 1/.
1 C x2 C y2
2. f .x; y/ D
sen.x C y/
2 C cos.x y/
P0 D .=2; =4/.
x y
en el punto . 1; 1/ en la direccin
1 C log.1 C x 2 y 2 /
dada por el vector ortogonal (de norma 1) en el punto .1; 1/ a la curva de nivel del campo
f .x; y/ D x y 3 C x 3 y que pasa por dicho punto.
83. Calcula la ecuacin de la recta tangente y de la recta normal a la elipse de ecuacin
y2
x2
C
D1
a2
b2
en un punto .u; v/ de la misma.
84. Calcula las ecuaciones del plano tangente y de la recta normal a cada una de las siguientes
superficies en el punto Po indicado.
z2
2x 2
z
x Cy Cz
2y 2
12 D 0;
log.x 2 C y 2 / D 0;
2x C 4y C 3z C 1 D 0;
4
z.xy
z C ez C2x C 2y
1/
x2
4z D y;
.x C y/ D 0;
y2
3 D 0;
Po .1; 1; 4/I
Po .1; 0; 0/
Po .3; 4; 3/I
Po .0; 0; 1/
Po .1; 2; 3/I
p
Po .1; 1 C e; 1/
85. Halla la ecuacin de la tangente a la curva dada como interseccin del elipsoide
x 2 C 4y 2 C 2z 2 D 27 y el hiperboloide x 2 C y 2 2z 2 D 11 en el punto .3; 2; 1/.
86. Calcula la ecuacin de la recta tangente a la curva definida por la interseccin de las
superficies z D x y, x 2 C y 2 2z D 4 en el punto .3; 1; 3/. Comprueba el resultado
expresando la curva por sus ecuaciones paramtricas.
87. Calcula la ecuacin de la recta tangente a la curva definida por la interseccin de las
superficies 4xz D .x C z/y, 3z 2 C y D 5x en el punto .1; 2; 1/.
88. Estudia la diferenciabilidad de los siguientes campos escalares
2
ex Cy 1
log.1 C x 2 C y 2 /
a) f .x; y/ D 2
;
f
.0;
0/
D
1
b)
f
.x;
y/
D
; f .0; 0/ D 1
x C y2
x2 C y2
Universidad de Granada
Dpto. de Anlisis Matemtico
45
89. Estudia si los siguientes campos escalares definidos por f .0; 0/D0 y para .x; y/.0; 0/
por:
sen.x 2 y/
sen x sen y xy
1 cos x cos y
a) f .x; y/ D p
; b) f .x; y/ D p
; c/ f .x; y/ D p
x2 C y2
x2 C y2
x2 C y2
son de clase C 1 en R2 .
90. Estudia si los siguientes campos escalares definidos por f .0; 0/D0 y para .x; y/.0; 0/
por:
a) f .x; y/ D xy
x2 y 2
y arc tg x x arc tg y
arc tg x sen y xy
; b) f .x; y/ D
; c) f .x; y/ D
2
2
2
2
x Cy
x Cy
x2 C y 2
son de clase C 1 en R2 . Calcula en cada caso D12 f .0; 0/ y D21 f .0; 0/ e indica si son
de clase C 2 en R2 .
91. Estudia la derivabilidad de las normas x 7! kxk2 , x 7! kxk1 y x 7! kxk1 y calcula
sus vectores gradiente.
92. Justifica que un campo escalar de clase C k tambin es de clase C q para q 6 k.
93. Justifica que la suma, el producto y el cociente de campos escalares de clase C k tambin
son campos escalares de clase C k . Deduce que toda funcin racional de n variables es
de clase C 1 en su dominio natural de definicin.
94. Generaliza las proposiciones 2.8 y 2.9 para campos de clase C k .
95. Un campo escalar f W Rn ! R se dice que es homogneo de grado n 2 N, si para todo
x 2 Rn y para todo t 2 R se verifica que f .tx/ D t n f .x/.
Supuesto que f es homogneo de grado n y derivable, prueba que:
n
X
a)
xj Dj f .x/ D nf .x/
8x D .x1 ; x2 ; : : : ; xn / 2 Rn .
j D1
1.
8x D .x1 ; x2 ; : : : ; xn / 2 Rn
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
j D1
xj
w1
Dj f .tx/ dt
46
@f
o D1 f ?. Quizs
@x
y
un ejemplo te ayude a decidir: consideremos f .x; y/ D x e . Tenemos que D1 f .x; y/ D ey y
@f
.x; y/ D ey . Si ahora permutamos x por y en estas igualdades obtenemos D1 f .y; x/ D ex
@x
@f
y
.y; x/ D ex . La igualdad D1 f .y; x/ D ex es correcta porque, efectivamente, ex es el valor
@y
de la derivada parcial de f .x; y/ respecto a la primera variable evaluada en el punto .y; x/. La
@f
@f
igualdad
.y; x/ D ex no es correcta porque
.x; y/ D x ey y si la evaluamos en .y; x/ el
@y
@y
resultado es y ex .
2.17 Observacin. Qu notacin es mejor para las derivadas parciales?
Universidad de Granada
Dpto. de Anlisis Matemtico
47
(2.9)
Donde se entiende que la potencia k-sima se desarrolla de forma simblica. Un par de ejemplos aclarar esto.
0
n
X
i;j D1
xi xj Di DjAf .a/ D
n
X
xi xj Dijf .a/
i;j D1
0
13
0
1
n
n
n
X
X
X
d3 .f; a; x/ D @
xj Dj Af .a/ D @
xi xj xk Di Dj DkAf .a/ D
xi xj xk Dij kf .a/
j D1
i;j ;kD1
i;j ;kD1
2.21 Teorema (Taylor). Sea f un campo escalar de clase C kC1 en un abierto . Sean a 2 ,
x 2 Rn tales que el segmento a; a C x est contenido en . Entonces existe un punto c 2
a; a C x tal que se verifica la igualdad:
k
X
1 j
1
f .a C x/ D f .a/ C rf .a/x C
d .f; a; x/ C
dkC1 .f; c; x/
j!
.k C 1/!
(2.10)
j D2
h 0 .t/ D rf ..t// 0 .t/ D rf ..t//x D
Dj f ..t//xj D
.Dj f /.t/xj
j D1
j D1
Puesto que las funciones Dj f tienen derivadas parciales continuas son diferenciables. Podemos calcular la derivada de la funcin Dj f volviendo a usar la igualdad (2.9) como hemos
Universidad de Granada
Dpto. de Anlisis Matemtico
48
n
X
kD1
Dk .Dj f /..t//xk D
n
X
Dkj f ..t//xk
kD1
Por tanto:
h 00 .t/
n
n
X
X
j D1
kD1
Dkj f ..t//xk xj D
n
X
j;kD1
Anlogamente se comprueba que h000 .t/ D d3 .f; .t/; x/. En general, se tiene que h.j / .t/ D
dj .f; .t/; x/. Como las derivadas de orden k tienen derivadas parciales continuas son diferenciables, esto nos dice que h es k C 1 veces derivable en I con derivada de orden k C 1 continua
en I . Podemos aplicar el teorema de Taylor a la funcin h para obtener que hay algn 2 0; 1
tal que:
k
X
1
1 .j /
h.1/ D h.0/ C h 0 .0/ C
h .0/ C
h.kC1/ ./
j!
.k C 1/!
j D2
Como h.1/ D f .a C x/, h.0/ D f .a/, h.j / .0/ D dj .f; a; x/ y h.kC1/ ./ D dkC1 .f; a C x; x/,
la igualdad anterior es la misma (2.10) con c D a C x 2 a; x.
2
2.22 Teorema (TaylorYoung). Sea f un campo escalar definido en un abierto Rn y
supongamos que f tiene derivadas parciales de segundo orden continuas en . Sea a 2 y
r > 0 tal que B.a; r / . Entonces para todo x con kxk < r se tiene que
f .a C x/ D f .a/ C
n
X
kD1
Dk f .a/xk C
n
1 X
Dj k f .a/xj xk C kxk2 '.x/ con lKm '.x/ D 0
x!0
2
j;kD1
(2.11)
Demostracin. Para cada x con kxk < r se tiene que a C tx 2 B.a; r / para 0 6 t 6 1, por lo
que a; a C x B.a; r / . Por el teorema de Taylor hay algn punto c 2 a; a C x tal que
f .a C x/ D f .a/ C
n
X
kD1
Dk f .a/xk C
n
1 X
Dj k f .c/xj xk
2
j;kD1
n
X
kD1
Definamos
n
n
1 X
1 X
Dk f .a/xk C
Dj k f .a/xj xk C
Dj k f .c/ Dj k f .a/ xj xk
2
2
j;kD1
n
X
1
'.x/ D
Dj k f .c/
2kxk2
j;kD1
Universidad de Granada
Dpto. de Anlisis Matemtico
j;kD1
Dj k f .a/ xj xk
Prof. Javier Prez
Clculo Diferencial en Rn
49
n
X
kD1
Dk f .a/xk C
n
1 X
Dj k f .a/xj xk C kxk2 '.x/
2
j;kD1
Podemos suponer que la norma que usamos es la eucldea, con lo que jxj j 6 kxk y tenemos:
n
1 X
j'.x/j 6
Dj k f .c/
2
j;kD1
n
jxi jjxj j 1 X
Dj k f .c/
Dj k f .a/
6
2
2
kxk
j;kD1
Dj k f .a/
2.23 Definicin. Sea f un campo escalar de n variables que tiene derivadas parciales de segundo orden continuas en y sea a 2 . La matriz n n
H .f; a/ D Dij f .a/ 16i;j 6n
se llama matriz hessiana de f en a.
Observa que la matriz hessiana es simtrica porque Dij f .a/ D Dj i f .a/. En consecuencia,
dicha matriz define una forma cuadrtica, que representaremos por Q.f; a/, que viene dada
para todo x D .x1 ; x2 ; : : : ; xn / 2 Rn por
t
n
X
Dj k f .a/xj xk
j;kD1
donde el punto . indica producto matricial y xt es el vector columna x. Con esta notacin
podemos escribir la igualdad (2.11) en la forma
1
x!0
lKm '.x/ D 0
donde
(2.13)
x!0
lKm '.x/ D 0
x!0
Teniendo en cuenta que las formas cuadrticas son polinomios homogneos de grado 2, es decir,
1
1
Q.f; a/.x/D2 Q.f; a/.x/, se tiene que
Q.f; a/.x/D Q.f; a/.x=kxk/. Resulta as
2
2kxk2
la igualdad
f .a C x/ f .a/
1
D Q.f; a/.x=kxk/ C '.x/
2
2
kxk
Universidad de Granada
Dpto. de Anlisis Matemtico
donde
lKm '.x/ D 0
(2.14)
x!0
50
Pn
i;j D1
ij xi xj se llama:
n
X
Dj k f .a/xj xk
j;kD1
a) Supongamos que Q.f; a/ es definida positiva. Entonces se tiene que m > 0. y, por la igualdad (2.14), tenemos que
f .a C x/ f .a/
1
m
D Q.f; a/.x=kxk/ C '.x/ > C '.x/ donde
2
2
kxk2
lKm '.x/ D 0
x!0
La condicin lKm '.x/ D 0 garantiza la existencia de un nmero s > 0 tal que j'.x/j < m=4
x!0
siempre que 0 < kxk < s. En consecuencia, si en la desigualdad anterior suponemos que
0 < kxk < s, se tiene
f .a C x/ f .a/ m
m
> C '.x/ >
2
2
2
kxk
m m
D
>0
4
4
Deducimos que f .a C x/ f .a/ > 0 para todo x con 0 < kxk < s. O, lo que es igual,
f .z/ f .a/ > 0 para todo z tal que 0 < kz ak < s. Lo que prueba que f tiene en a un
mnimo relativo estricto.
Universidad de Granada
Dpto. de Anlisis Matemtico
51
Para poder usar el resultado anterior hay que saber clasificar una forma cuadrtica. Hay
varios procedimientos sencillos para ello. Los dos que siguen a continuacin son los que me
parecen ms cmodos.
Clasificacin de formas cuadrticas
Sean A D aij
16i;j 6n
n
X
aij xi xj
(2.15)
i;j D1
la forma cuadrtica definida por A. Los valores propios de A son las races del polinomio
caracterstico p./, que se define como el determinante de la matriz A I :
p./ D A I
Es sabido que, en la situacin que estamos considerando, las races de dicho polinomio son
todas reales.
Sean j .1 6 j 6 n/ los valores propios de A. Se demuestra que hay una base B D
fu1 ; u2 ; : : : ; un g en Rn tal que para todo vector x 2 Rn se tiene que
QA .x/ D
n
X
j xj2
j D1
donde .x1 ; x2 ; : : : ; xn / son los coordenadas del vector x en la base B. De aqu se siguen los
siguientes criterios.
La forma cuadrtica QA es definida positiva si, y slo si, todos los valores propios de A
son positivos.
La forma cuadrtica QA es definida negativa si, y slo si, todos los valores propios de A
son negativos.
La cuadrtica QA es no definida si, y slo si, A tiene valores propios positivos y negativos.
La forma cuadrtica QA es semidefinida positiva si, y slo si, todos los valores propios de
A son mayores o iguales que 0.
La forma cuadrtica QA es semidefinida negativa si, y slo si, todos los valores propios de
A son menores o iguales que 0.
Para aplicar estos criterios no es preciso calcular los valores propios de A sino solamente
saber cuntos de ellos son positivos, negativos o nulos. Afortunadamente, hay un criterio que
nos proporciona esta informacin sin ms que observar los coeficientes del polinomio caracterstico.
Universidad de Granada
Dpto. de Anlisis Matemtico
52
1x
n 1
C C a1 x C a0
un polinomio con coeficientes reales y cuyas races son todas nmeros reales. Se verifica entonces que:
a) El nmero de races positivas de f (contando multiplicidades) es igual al nmero de
cambios de signo en la sucesin .an ; an 1 ; : : : ; a1 ; a0 / de los coeficientes de f .
b) El nmero de races negativas de f (contando multiplicidades) es igual al nmero de
cambios de signo en la sucesin .. 1/n an ; . 1/n 1 an 1 ; : : : ; a1 ; a0 / de los coeficientes de
f . x/.
Para contar los cambios de signo en la sucesin de coeficientes se saltan los coeficientes
nulos. Por ejemplo, si f .x/ D 2x 6 C x 5 x 3 C x 2 5, la sucesin de coeficientes de f es
.2; 1; 0; 1; 1; 0; 1/ cuyo nmero de cambios de signo es 3.
2.27 Corolario. Sea p./ el polinomio caracterstico de la matriz hessiana de f en a. Entonces.
Si p./ tiene grado n, todos sus coeficientes son distintos de cero y tienen igual signo, se
verifica que f tiene un mximo relativo estricto en a.
Si p./ tiene grado n, todos sus coeficientes son distintos de cero y van alternando su
signo, se verifica que f tiene un mnimo relativo estricto en a.
Otro criterio para estudiar el carcter de la forma cuadrtica (2.15) es el criterio de Sylvester
se basa en la sucesin de signos de los menores
principales de la matriz A. El menor principal
La forma cuadrtica es definida negativa si, y slo si, . 1/k k > 0 para 1 6 k 6 n.
@2 f
Si detH .f; .a; b// > 0 y
.a; b/ > 0 entonces f tiene en .a; b/ un mnimo relativo
@x 2
estricto.
Universidad de Granada
Dpto. de Anlisis Matemtico
53
@2 f
Si detH .f; .a; b// > 0 y
.a; b/ < 0 entonces f tiene en .a; b/ un mximo relativo
@x 2
estricto.
Si detH .f; .a; b// < 0 entonces f no tiene extremo relativo en .a; b/. Se dice que .a; b/
es un punto de silla de f .
Cuando detH .f; .a; b// D 0 el conocimiento de la matriz hessiana no permite decidir
si hay o no hay extremo relativo en .a; b/. Cuando esto sucede puede ser interesante
estudiar el comportamiento de las curvas f .a; t C b/ y f .a C t; b/. Si alguna de dichas
curvas no tiene extremo relativo o tienen extremos relativos de distinta naturaleza en
t D 0, podemos concluir que en .a; b/ no hay extremo relativo de f .
Ejercicios propuestos
2x 3 y
xy 2 C x 3 y 2 I
f .x; y/ D x 3 C 3xy 2
f .x; y/ D
15x
xy C 2x y
xy
f .x; y/ D
6xy 2 C 3x 2 C 3y 2 I
f .x; y/ D x 3 C y 3
12yI
2
2x 3
2x y I
f .x; y/ D x 2 y 2
f .x; y/ D x log y
f .x; y/ D 2x 4 C y 4
x
x
2
f .x; y; z/ D x C y C z C 3xyz
x2
y2I
4x 2
f .x; y; z/ D x 3 C y 3 C z 3
y/I
2
x C 16I
f .x; y/ D 2x C y C x C xy C y I
f .x; y/ D xy.1
xy 2
zI
2y 2 I
xyz
1 x2
f .x; y; z/ D .x C y C z/ e
3x
y2
3y
z2
100. Trazar un plano que pase por el punto .1; 2; 3/ y que forme con los ejes coordenados un
tetraedro de volumen mnimo (el volumen del tetraedro es un tercio del rea de la base
por la altura).
101. Recta de mnimos cuadrados. Dados n puntos .xi ; yi / 2 R2 , determinar los nmeros
2
n
X
y para que la cantidad
yi xi sea mnima.
iD1
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
iD1
kx
ai k22 .
3zI
Captulo
de campos vectoriales
Derivacion
F.x/
F.a/ T.x
kx ak
a/
D0
(3.1)
55
Supuesto que se verifican a) y b), la matriz de la aplicacin lineal DF.a/ en las bases
cannicas de Rn y Rm es la matriz cuyas filas son los vectores gradiente rfi .a/, esto es la
matriz de m filas y n columnas Dj fi .a/ 16i6m . Dicha matriz se llama matriz jacobiana de
16j 6n
Df .a/.x/ D rf .a/x
8x 2 Rn
8t 2 R
8t 2 R
La idea bsica del clculo diferencial es aproximar (localmente) una funcin por su derivada, que es una aplicacin lineal. Puesto que la aplicacin derivada es una buena aproximacin
local de la funcin, cabe esperar que la funcin herede localmente algunas de las propiedades
de su aplicacin derivada. Las propiedades de una aplicacin lineal son muy fciles de estudiar
y lo que se hace en casi todos los resultados del clculo diferencial es trasladar localmente las
propiedades de la aplicacin derivada a la funcin. Un ejemplo aclarar esto. Considera una
funcin real h derivable en un intervalo I ; la aplicacin derivada de h en cada punto a 2 I es la
aplicacin lineal de R en R Dh.a/.t/ D t h 0 .a/. Si para a 2 I es h 0 .a/ > 0 dicha aplicacin es
creciente, pero entonces tambin la funcin h es creciente en I . Este ejemplo puedes llevarlo
a otras situaciones ms complicadas: si la aplicacin derivada es una biyeccin lineal ser la
funcin localmente inversible? Claro est, la respuesta que se obtiene a este tipo de preguntas es siempre de tipo local porque la derivada es una buena aproximacin local y solamente
proporciona informacin local sobre el comportamiento de la funcin.
Universidad de Granada
Dpto. de Anlisis Matemtico
56
16k6m ,
16j 6n
camos con un vector de Rnm y definimos la norma eucldea de T como la norma eucldea de
dicho vector:
n
m X
X
a2kj
(3.2)
kTk2 D
kD1 j D1
kD1
La norma que acabamos de definir en el espacio L.Rn ; Rm / tiene algunas propiedades interesantes. Notemos con k k2 la norma eucldea en Rn y en Rm . Sea x 2 Rn . Tenemos que:
T.x/ D T .xt D t1 x ; t2 x ; : : : ; tm x
Por lo que, usando la desigualdad de CauchySchwarz, tenemos:
kT.x/k22 D
Es decir:
m
m
X
2 X
ktk k22 kxk22 D kTk22 kxk22
tk x 6
kD1
kD1
(3.3)
16i6q ,
16k6m
se tiene
kS
Tk22
q X
n
X
iD1 j D1
q X
q X
n D
n
X
j E2 X
6
si t
6
ksi k22 ktj k22 D
iD1 j D1
iD1 j D1
1
!0 n
q
X
X
D
ksi k22 @ ktj k22 A D kSk22 kTk22
iD1
Por tanto:
h2ij
j D1
(3.4)
La ventaja que tiene la norma eucldea en L.Rn ; Rm / es que es fcil de calcular. Sin embargo,
las desigualdades (3.3) y (3.4) dependen esencialmente de que las normas consideradas en los
espacios Rn y Rm sean las normas eucldeas.
Podemos proceder de otra forma ms abstracta, y por tanto ms cmoda en teora, para
definir normas en L.Rn ; Rm / que sigan verificando las desigualdades anteriores aunque las
Universidad de Granada
Dpto. de Anlisis Matemtico
57
normas fijadas en Rn y Rm no sean las eucldeas. Supongamos, pues, que es una norma en
Rn y una norma en Rm . Sea T 2 L.Rn ; Rm /. Como la esfera unidad en .Rn ; /, es decir
el conjunto fx 2 Rn W .x/ D 1g, es compacto y la aplicacin x 7! T.x/ es continua por
ser composicin de las aplicaciones continuas y T, por la propiedad de compacidad dicha
aplicacin debe alcanzar un mximo absoluto en la esfera unidad de .Rn ; /. Definimos:
.T/ D mKax T.x/ W .x/ D 1
8T 2 L.Rn ; Rm /
(3.5)
Es muy fcil comprobar que la aplicacin T 7! .T/ as definida es una norma en L.Rn ; Rm /.
Dicha norma se llama la norma de operadores en L.Rn ; Rm / asociada a las normas y .
Dicha norma verifica que:
T.x/ 6 .T/.x/
8x 2 Rn
(3.6)
Adems, si S 2 L.Rm ; Rq /, en Rq tenemos fijada una norma , y representamos por la norma
de operadores en L.Rm ; Rq / asociada a las normas y , y por la norma de operadores en
L.Rn ; Rq / asociada a las normas y , se verifica que:
.S T/ 6 .S/.T/
(3.7)
Demasiadas normas verdad? Una notacin en exceso detallista acaba siendo confusa, por eso
en la prctica todas las normas en los espacios que estamos considerando se representan igual
con la notacin usual para normas k k. Si te fijas un poco esto no puede dar lugar a confusin.
Consideremos, pues, que en Rn y en Rm se han fijado normas que representamos con el mismo
smbolo k k. Dichas normas inducen una norma de operadores que tambin representaremos
con el mismo smbolo k k. La desigualdad (3.6) se expresa ahora:
kT.x/k 6 kTkkxk
8x 2 Rn
(3.8)
Observa que aunque en esta desigualdad hay tres normas en tres espacios distintos no cabe
confusin, pues kxk es la norma fijada en Rn , kT.x/k es la norma fijada en Rm y kTk es la
norma de operadores correspondiente, y no cabe otra interpretacin.
Anlogamente, la desigualdad (3.7) se expresa:
kS Tk 6 kSkkTk
(3.9)
Y no hay posibilidad de confusin porque cada norma est en su espacio de operadores correspondiente.
En lo que sigue t eliges: o bien consideras que todas las normas son eucldeas o bien
entiendes que en cada caso se han fijado normas en los espacios Rn que inducen las correspondientes normas de operadores. Es ms cmodo y ms general adoptar este ltimo punto de
vista.
Todos los conceptos propios de espacios normados tienen perfecto sentido en el espacio
L.Rn ; Rm /. De hecho, como tal espacio es de dimensin finita en l son vlidos los teoremas
1.22, 1.24, 1.25 y 1.28. Por supuesto, tiene perfecto sentido considerar la convergencia de
sucesiones en L.Rn ; Rm /.
Representaremos por GL.Rn / el conjunto de todas las aplicaciones lineales biyectivas (isomorfismos) de Rn en Rn . Notaremos por L.Rn / el espacio vectorial de los operadores lineales
de Rn en Rn .
Universidad de Granada
Dpto. de Anlisis Matemtico
58
b) T es inyectivo.
c) T es sobreyectivo.
3.4 Proposicin.
a) GL.Rn / es un conjunto abierto en L.Rn /. Concretamente:
Para todo T 2 GL.Rn / se verifica que:
S 2 L.Rn / W kT Sk <
1
kT 1 k
GL.Rn /
Ejercicios propuestos
F.y/
DF.a/.x
y/k 6 "kx
yk:
Si DF.a/ es inyectiva, entonces existe > 0 tal que F es inyectiva en B.a; /.
Universidad de Granada
Dpto. de Anlisis Matemtico
59
Si F es diferenciable en a, definiendo:
R.a; x/ D
F.x/
F.a/ DF.a/.x
kx ak
a/
La igualdad
F.x/
lKm
x!0
F.a/ DF.a/.x
kx ak
a/
D0
(3.10)
a/ C kx
akR.a; x/
con
lKm R.a; x/ D 0
x!a
(3.11)
(3.12)
(3.13)
Poniendo H D .h1 ; h2 ; : : : ; hm /, F D .f1 ; f2 ; : : : ; fm /, G D .g1 ; g2 ; : : : ; gq /; notando las variables por x D .x1 ; x2 ; : : : ; xn / 2 Rn , y D .y1 ; y2 ; : : : ; ym / 2 Rq , y escribiendo b D G.a/,
tenemos que:
@hi
@fi
@gk
.a/
D
.b/
.
.a/
b D G.a/
16i6m
16i6m
16k6n
@yj
@xk
@yj
16j 6q
Universidad de Granada
Dpto. de Anlisis Matemtico
16k6n
16j 6q
60
De donde se sigue:
n
X
@hi
@fi
@gk
.a/ D
.b/
.a/
@yj
@xk
@yj
kD1
b D G.a/
.1 6 i 6 m; 1 6 j 6 q/
(3.14)
Esta igualdad constituye la regla de la cadena para derivadas parciales y es importante que
aprendas a aplicarla y que entiendas lo que dice. Voy a intentar facilitarte las cosas.
Primero, lo ms frecuente es que F sea un campo escalar. Supongamos, pues, que en lo
anterior, F D f es un campo escalar, en cuyo caso h D f G tambin es un campo escalar. La
igualdad (3.14) queda ahora:
n
X
@h
@f
@gk
.a/ D
.b/
.a/
@yj
@xk
@yj
kD1
b D G.a/
.1 6 j 6 q/
(3.15)
En esta igualdad se interpreta que la funcin G W A ! E Rn lo que hace es un cambio de variables. Hablando familiarmente, podemos decir, que las variables antiguas de
la funcin f , esto es las x D .x1 ; x2 ; : : : ; xn / 2 E se han sustituido por variable nuevas
y D .y1 ; y2 ; : : : ; yq / 2 A y la funcin f se ha expresado en estas nuevas variables dando
lugar a la funcin h. La relacin entre unas variables y otras viene dada por:
xk D gk .y1 ; y2 ; : : : ; yq /;
16k 6n
(3.16)
16k6n
(3.17)
b D G.a/
.1 6 j 6 q/
(3.18)
Observa el doble papel que desempea a la derecha de esta igualdad la letra xk ; cuando se
deriva respecto de ella representa una variable y cuando ella se deriva respecto de una variable
nueva representa una funcin.
La igualdad (3.18) ya es bastante fcil de recordar pero todava se siguen haciendo en la
prctica, sobre en todo en los textos de Fsica que suelen usar notaciones muy desafortunadas,
Universidad de Granada
Dpto. de Anlisis Matemtico
61
b D G.a/
.1 6 j 6 q/
(3.19)
b D G.a/
.1 6 j 6 q/
(3.20)
Todava hay algo que podemos simplificar. Habrs observado que siempre indico la relacin
que hay entre los puntos b y a. Eso es muy importante para entender lo que se hace. Hay que
saber dnde se evalan las derivadas parciales de cada funcin. Pues bien, eso no se indica
jams en textos de Fsica. Nunca se indica en dnde se evalan las derivadas parciales. As que
vamos a suprimirlo.
n
X
@z
@z @xk
D
.1 6 j 6 q/
(3.21)
@yj
@xk @yj
kD1
Debes de familiarizarte con esta igualdad y saber reconocer en ella la igualdad de partida. Y no
olvides la forma en que se evala esta igualdad. Lo vuelvo a poner.
n
X @z
@z
@xk
.y/ D
.G.y//
.y/
@yj
@xk
@yj
.1 6 j 6 q/
(3.22)
kD1
Si tuviramos que volver a derivar en esta igualdad respecto a una variable yk se derivara como
de costumbre: la derivada de una suma es la suma de las derivadas y para derivar el producto se
@z
aplica la regla usual. Pero hay un detalle muy importante y es que la funcin
.G.y// vuelve
@xk
@z
a ser la funcin compuesta del campo escalar
con la funcin G. Por tanto para derivarla
@xk
hay que aplicarle la misma regla que hemos aplicado para derivar z como funcin compuesta
y que nos ha llevado a la igualdad anterior. Es por eso que el clculo de derivadas parciales de
segundo orden en funciones compuestas suele ser bastante engorroso y es fcil equivocarse si
no se sabe lo que se hace.
@z
siendo z D u2 C v 5 C 3uv donde u D x 2 C y 2 , v D sen.xy/.
@x
As es como suelen enunciarse estos ejercicios y debes entender bien el enunciado. Nos
estn dando una funcin de las variables .u; v/ a la que llaman z. Esto es la letra z representa
una funcin, a saber, z D u2 C v 5 C 3uv. Nos estn dando un cambio de variables por medio
@z
de las igualdades u D x 2 C y 2 , v D sen.xy/. Y nos piden calcular
. Esto ltimo ya nos dice
@x
3.8 Ejemplo. Vamos a calcular
Universidad de Granada
Dpto. de Anlisis Matemtico
62
@z
claramente que debemos ver z como funcin de x e y, es decir, la letra z en
es la funcin
@x
que nos dan despus de sustituir en ella las nuevas variables, o sea, la funcin compuesta de
z D u2 C v 5 C 3uv con G.x; y/ D .x 2 C y 2 ; sen.xy//.
Sabemos que
@z @u
@z @v
@z
D
C
D .2u C 3v/2x C .5v 4 C 3u/y cos.xy/
@x
@u @x
@v @x
@z
Si lo dejamos as escrito parece que
depende de 4 variables. Pero no es as porque en la
@x
igualdad anterior las variables son x e y (las nuevas variables) mientras que u y v (las antiguas
variables) vienen dadas por u D x 2 C y 2 , v D sen.xy/. Por tanto, es mejor hacer la sustitucin,
con lo que resulta
@z
D .2.x 2 C y 2 / C 3 sen.xy//2x C .5 sen4 .xy/ C 3x 2 C y 2 /y cos.xy/
@x
que nos da el valor de la derivada parcial de la funcin compuesta en un punto .x; y/. En este
caso es muy sencillo calcular la funcin compuesta. Hazlo y comprueba el resultado obtenido.
Ejercicios propuestos
Consideremos una funcin de dos variables x e y, z D z.x; y/, y supongamos que expresamos x e y en funcin de nuevas variables u y v, lo que indicamos en la forma
x D x.u; v/, y D y.u; v/. De esta forma la funcin z es funcin (funcin compuesta) de
las variables libres u y v, a travs de las variables dependientes x e y. Se trata de
calcular las derivadas parciales de z respecto de las nuevas variables u y v. La regla para
hacerlo es la siguiente: para derivar una funcin
z D z.x; y/;
respecto de una nueva variable, se deriva z respecto de cada una de las antiguas variables
y se multiplica por la derivada de cada antigua variable respecto de la nueva variable. Se
entiende mejor si lo escribimos simblicamente
@z
@z @x
@z @y
D
C
@u @x @u
@y @u
En esta igualdad debes darte cuenta de que a la izquierda, como estamos derivando respecto a u, la letra z representa a la funcin compuesta zDz.x.u; v/; y.u; v// y la derivada
est calculada en un punto .u; v/. En la parte derecha de la igualdad la letra z representa
la funcin dada z D z.x; y/ y las letras x e y representan variables (cuando se deriva
respecto de ellas) y funciones (cuando se derivan respecto de u). Debe entenderse que
cuando se sustituye un valor de .u; v/ en la igualdad los valores de x e y deben sustituirse
por x D x.u; v/, y D y.u; v/.
Universidad de Granada
Dpto. de Anlisis Matemtico
cos x donde x D u2 C v, y D u
63
v 2 . Calcular
@z
en el punto
@u
<x D 1 C r s e
y D r s2 e t
:
z D r 2 s sen t
Calcular
@u
cuando r D 2, s D 1, t D 0, sabiendo que ' 0 .3=2/ D 1.
@s
@z
@z
.2; 2/ y
.2; 2/. Siendo
@x
@y
@z
@z
.1; 1/ D 2 y .1; 1/ D 3.
@r
@s
116. Prueba que la funcin F.x; y/ D f . x2 y y 2 /, donde f es una funcin real derivable,
verifica la igualdad
@F
@F
C 2x y
D0
.x 2 C y 2 /
@x
@y
117. Prueba que la funcin F.u; v/Df .uv; .u2 v 2 /=2/, donde f W R2 ! R es una funcin
diferenciable, verifica la igualdad
"
2 # 2 2
2
@f
@f
@F
@F
.u2 C v 2 /
C
D
C
@x
@y
@u
@v
118. Sea z D f .x; y/, donde x D cos #, y D sen #. Calcula @z=@ y @z=@# y prueba que
2 2 2
@z
@z
@z
1 @z 2
C
D
C 2
@x
@y
@
@#
119. Sea g.s; t/ D f .s 2
t 2; t 2
s 2 /. Prueba la igualdad t
@g
@g
Cs
D 0.
@s
@t
Universidad de Granada
Dpto. de Anlisis Matemtico
64
122. Sea z D f .x; y/ donde x D x.u; v/, y D y.u; v/. Prueba que
@2z
@2 z
D
@u2
@x 2
@x
@u
2
@2 z
@2 z @x @y
C2
C 2
@x@y @u @u @y
@y
@u
2
@z @2x
@z @2y
C
@x @u2
@y @u2
No existe una generalizacin del mismo tipo para funciones vectoriales. Por ejemplo, sea .t/D
.cos t; sen t/. Tenemos que 0 .t/ D . sen t; cos t/ es un vector unitario y, como .2/ .0/ D
.0; 0/, no existe ningn t 2 R que verifique la igualdad .2/ .0/ D 0 .t/2, es decir
no podemos expresar el incremento de la funcin igual al valor de la derivada en un punto
intermedio por el incremente de la variable. Lo que se generaliza para funciones vectoriales no
es una igualdad anloga a (3.23) sino una desigualdad: si tomamos valores absolutos en (3.23)
obtenemos:
jf .b/ f .a/j 6 krf .c/k2 kb ak2
(3.24)
Es esta desigualdad la que se generaliza para campos vectoriales con independencia, adems,
de las normas que se usen. Recuerda que la principal utilidad del teorema del valor medio es
que permite acotar el incremento de una funcin por el incremento de la variable cuando se
conoce una cota de la derivada, por ello nada se pierde con la generalizacin que vamos a
obtener. Probaremos primero un lema que tiene inters por s mismo.
Universidad de Granada
Dpto. de Anlisis Matemtico
65
f .x/k 6 M ky
xk
3.11 Corolario. Un campo vectorial derivable en un dominio con derivada nula en todo punto
del mismo es constante.
10
.y/ D
1
f
0 .f
1 .y//
8y 2 J
Recuerda que si f es una funcin real de una variable real derivable en un punto a, la
aplicacin derivada de f en a es la aplicacin lineal de R en R dada por t 7! f 0 .a/t. Que
dicha aplicacin lineal sea invertible equivale a que f 0 .a/ 0.
Tambin debes saber que si T 2 L.Rn /, las matrices que representan a T en distintas
bases de Rn tienen el mismo determinante, dicho determinante se llama el determinante de
la aplicacin lineal T y lo representaremos por det.T/. La aplicacin lineal T es invertible
equivale a que det.T/ 0.
Pues bien, es fcil dar ejemplos de campos vectoriales de ms de una variable que son diferenciables y cuya derivada en todo punto es invertible pero ellos no lo son. Es decir, el anterior
teorema de inversin global para funciones reales de una variable real no puede generalizarse
literalmente para campos vectoriales diferenciables de varias variables.
3.12 Ejemplo. El campo vectorial de R2 en R2 dado por F.x; y/ D .ex cos y; ex sen y/ es,
evidentemente, diferenciable (es de clase C 1 ) en R2 . Su matriz jacobiana en un punto .x; y/
es
x
e cos y
ex sen y
JF .x; y/ D x
e sen y ex cos y
Universidad de Granada
Dpto. de Anlisis Matemtico
66
cuyo determinante es igual a e2x > 0. Sin embargo, dicho campo no es inyectivo en R2 pues
F.x; y C 2/ D F.x; y/, por lo que la funcin F no tiene inversa. Observa, sin embargo, que
la funcin F es inyectiva en R0; 2.
Una versin local del teorema de inversin global es la siguiente.
Teorema de inversin local para funciones reales. Si f W I ! R es una funcin derivable
en un intervalo abierto I cuya derivada no se anula en un punto a 2 I y es continua en dicho
punto. Entonces hay un intervalo abierto H I tal que a 2 H y la restriccin de f a H es
una biyeccin de H sobre el intervalo J D f .H /, y su inversa f 1 W J ! R es derivable en
J siendo
1
f 1 0 .y/ D 0
8y 2 J
f .f 1 .y//
Como vamos a ver, este teorema de inversin local s puede generalizarse para campos vectoriales.
Sea, pues, F D .f1 ; f2 ; : : : ; fn / W ! Rn un campo vectorial diferenciable en un abierto
Rn . Queremos dar condiciones que garanticen que para cada y D .y1 ; y2 ; : : : ; yn / 2 F./
el sistema de ecuaciones:
f1 .x1 ; x2 ; : : : ; xn / D
y1
:::::::::::::::
:::
fn .x1 ; x2 ; : : : ; xn / D
yn
f2 .x1 ; x2 ; : : : ; xn / D
y2
(3.25)
:::
67
Para cada y 2 Rn dicho sistema tiene solucin nica en x si, y slo si, el determinante jacobiano
det.JF .a// 0.
Un entorno abierto de un punto es un conjunto abierto que contiene a dicho punto.
3.13 Teorema (de la funcin inversa). Sea F D.f1; f2 ; : : : ; fn /W ! Rn un campo vectorial
de clase C 1 en un abierto Rn . Sea a 2 y supongamos que det.JF .a// 0. Entonces
existe un entorno abierto de a, U , tal que F.U / D V es abierto, F es una biyeccin de U
sobre V , la biyeccin inversa G W V ! U Rn es de clase C 1 en V y para todo y 2 V es
1
DG.y/ D DF.x/
donde x D G.y/
(3.26)
Si F es de clase C k en entonces G es de clase C k en V .
Demostracin. 1 Como es natural, suponemos fijada una norma k k en Rn . Dicha norma puede ser cualquiera pues los conceptos que figuran en el enunciado del teorema son todos de
naturaleza algebraico topolgica.
Sea n D :.n: : . Consideramos n como espacio mtrico con la mtrica producto
(ver el ejercicio 19). La aplicacin ' W n ! R definida por:
'.x1 ; x2 ; : : : ; xn / D det Dj fi .xi / 16i6n
16j 6n
es continua porque las derivadas parciales son continuas y el determinante es una suma de n2
n
Y
productos de la forma
Djifi .xi / donde 1 6 ji 6 n. Como por hiptesis '.a; a; : : : ; a/ 0,
iD1
existe una bola abierta en n en la cual ' no se anula. Dicha bola ser de la forma B :.n: : B
donde B D B.a; r / es una bola abierta en Rn .
F.x/ D Dj fi .zi / ..y
x/t
demostracin est tomada del excelente libro Anlisis Matemtico del profesor Carlos Ivorra Castillo que
puedes bajar de Internet.
Universidad de Granada
Dpto. de Anlisis Matemtico
68
Sean W U un abierto y v 2 F.W /. Sea c 2 W tal que F.c/ D v . Tomemos s > 0 tal
que la bola eucldea cerrada B.c; s/ W . Sea D Fr.B.c; s// D fx 2 Rn W kx ck2 D sg.
La aplicacin h W ! R dada por h.x/ D kF.x/ v k2 verifica que h.x/ > 0 para todo
x 2 y es continua. Por compacidad, h alcanza un mnimo absoluto en un punto x0 2 . Sea
m D h.x0 / > 0. Probaremos que B.v ; m=2/ F.B.c; s// donde las bolas son bolas eucldeas.
Sea y 2 B.v ; m=2/ fijo en lo que sigue. Definimos la funcin g W B.c; s/ ! R por g.x/ D
kF.x/ yk2 . Dicha aplicacin es continua y, por compacidad, alcanza su mnimo absoluto en
un punto z 2 B.c; s/. Como g.c/ D kv yk2 < m=2, tenemos que g.z/ < m=2. Para x 2 se
verifica que:
m
m
g.x/ D kF.x/ yk2 > kF.x/ v k2 kv yk2 > m
D
2
2
Luego g.x/ no es el mnimo de g, es decir, x z. Por tanto z 2 B.c; s/.
Como g es una funcin que toma valores positivos, es claro que g2 alcanza su mnimo en
z. Como
n
X
g2 .x/ D kF.x/ yk22 D
.fi .x/ yi /2
iD1
es una funcin
diferenciable2 ,
Dj g2 .z/ D 2
n
X
Dj fi .z/.fi .z/
iD1
yi / D 0
16j 6n
y/t D 0
Como det.JF .z// 0, concluimos que debe ser F.z/ D y. Como y es cualquier punto en
B.v ; m=2/ y z 2 B.c; s/, hemos probado que F.B.c; s// B.v ; m=2/ lo que implica que
B.v ; m=2/ F.W /. Por tanto F.W / es un conjunto abierto.
En particular V D F.U / es un conjunto abierto. La aplicacin F es una biyeccin de U
sobre V . Sea G W V ! U Rn la biyeccin inversa definida por:
G.F.x// D x
8x 2 U;
F.G.y// D y
8y 2 V
1 .W
/DF.W /
F.c/
c/k D '.x/kx
T.x
ck
(3.27)
T.G.y/
D kSk'.G.y//kG.y/
2 Para
G.v /k
Universidad de Granada
Dpto. de Anlisis Matemtico
69
G.v /k D kx
ck D kS T.x
6 kSk .kF.x/
D kSk .'.x/kx
F.c/
c/k 6 kSkkT.x
T.x
ck C kF.x/
D kSk .'.G.y//kG.y/
c/k6
c/k C kF.x/
F.c/k/ D
F.c/k/ D
G.v /k C ky
v k/
Como la funcin ' G W V ! R es continua en v y '.G.v // D '.c/ D 0, existe > 0 tal que
1
'.G.y//kSk 6 siempre que ky v k < . Por tanto, para ky v k < tenemos:
2
kG.y/
1
G.v /k 6 kG.y/
2
G.v /k C kSkky
vk
Esto es:
kG.y/
G.v /k 6 2kSkky
vk
G.v /
S.y
v /k 6 '.G.y//2kSk2 ky
vk
1.
y!v
Como esto es vlido para todo v 2 V hemos probado que G es diferenciable en V y para
todo punto y 2 V es:
DG.y/ D .DF.G.y/// 1
8y 2 V
(3.28)
70
iD1
Se sigue que F .a/ es un punto interior de F .U /. Luego todos los puntos de F .U / son interiores
y F .U / es abierto.
2
Universidad de Granada
Dpto. de Anlisis Matemtico
71
1/.2.x
1/2 C 3.y
2/2
1/.y
x 2/ D 0
Ese conjunto (ver figura (3.1)) no es exactamente una curva pero localmente se parece a una
curva. La palabra localmente quiere decir que si fijamos un punto .a; b/ tal que f .a; b/ D 0
entonces hay una bola abierta B..a; b/; r / tal que el corte de dicha bola con el conjunto de
puntos M D f.x; y/ W f .x; y/ D 0g es una curva. De hecho, no es cierto que la condicin
anterior se verifique para todos los puntos .a; b/ tales que f .a; b/ D 0. Dicha condicin falla en
los puntos donde se cortan dos de las curvas cuya unin forma M , pues es claro que en dichos
puntos el conjunto M no parece localmente una curva. Pues bien, en dichos puntos se anula el
vector gradiente de f y en ellos la recta tangente no est definida. Este ejemplo te ayudar a
entender lo que sigue.
Volvamos al caso general de una funcin de dos variables f .x; y/ con derivadas parciales
continuas de primer orden. Consideremos ahora la ecuacin f .x; y/ D 0 desde otro punto de
vista. Intuitivamente, una ecuacin es una condicin que debe ligar a una de las variables,
es decir, que si en la igualdad f .x; y/ D 0 se fija un valor de x entonces el valor de y queda
determinado de manera nica por dicho valor de x. A veces esto es verdad como en el siguiente
ejemplo. Consideremos
f .x; y/ D y 3 C y ex C sen x
(3.29)
Prof. Javier Prez
Clculo Diferencial en Rn
72
define de manera nica a y como funcin de x, en el sentido de que fijado un valor de x, hay
un nico y D '.x/ que verifica dicha igualdad, esto es, la funcin '.x/ est definida por la
condicin:
'.x/3 C '.x/ ex C sen x D 0
(3.30)
Se dice que la funcin ' est implcitamente definida por la igualdad (3.29). Puedes calcular
con wxMaxima el valor de dicha funcin y comprobars que es bastante complicada. El hecho
es que la mejor forma de trabajar con la funcin ' es la igualdad (3.30) que la define. Por
ejemplo, si queremos calcular la derivada de ' en un punto basta con que derivemos dicha
igualdad para obtener
3' 0 .x/'.x/2 C ' 0 .x/ ex C'.x/ ex C cos x D 0
lo que permite calcular ' 0 .x/ en funcin de '.x/.
En general, no es cierto que una igualdad de la forma f .x; y/ D 0 permita despejar una
variable en funcin de la otra. Para convencerte, considera el primer ejemplo que pusimos. Ni
tan siquiera una igualdad tan sencilla como x 2 Cy 2 1D0 permite despejar una variable como
funcin de la otra pues es claro que para cada valor que fijemos de una variable (comprendido
entre -1 y 1) hay dos posibles valores de la otra que verifican dicha igualdad.
Relacionemos ahora los dos puntos de vista que hemos considerado. Pongamos
n
o
D .x; y/ 2 R2 W f .x; y/ D 0
es decir, el conjunto sera la grfica de ', que, como sabemos, es un tipo muy particular de
curva. Pero ya hemos visto que el conjunto puede ser una curva mucho ms general que la
grfica de una funcin. Pero incluso en este caso, dicha curva es localmente, excepto en los
puntos donde se anula el gradiente, una grfica de una funcin.
Las consideraciones anteriores se pueden llevar al caso de una funcin de tres variables
f .x; y; z/ considerando ahora la superficie definida por la ecuacin f .x; y; z/ D 0. La pregunta ahora es si fijados un valor de x y otro de y queda determinado de manera nica un valor
de z D '.x; y/ que verifica dicha ecuacin. En caso afirmativo tendramos que la superficie de
ecuacin f .x; y; z/ D 0 coincidira con la grfica de '. Ya puedes suponer que esto no es cierto
en general pues la mayora de las superficies no son grficas de funciones.
Consideremos ahora el caso general en que tenemos una funcin vectorial F W ! Rm de
clase C 1 definida en un abierto RnCm . Estamos interesados en estudiar el conjunto donde
Universidad de Granada
Dpto. de Anlisis Matemtico
73
se anula F, es decir, el conjunto M D fx 2 W F.x/ D 0g. Dicho conjunto est determinado por
el sistema de m ecuaciones:
f1 .x1 ; x2 ; : : : ; xn ; xnC1 ; : : : ; xnCm / D
::::::::::::::::::::::::::::::
:::
0
(3.31)
En Mecnica estas ecuaciones se interpretan como ligaduras que deben satisfacer las variables. Tenemos en total m ligaduras que, intuitivamente, deben atar a m de las variables en el
sentido de que el valor de las mismas quede determinado por el valor de las otras n. Por comodidad, consideremos las ltimas m variables. La pregunta que nos hacemos es si el sistema de
ecuaciones (3.31) permite despejar .xnC1 ; xnC2 ; : : : ; xnCm / en funcin de .x1 ; x2 ; : : : ; xn /.
Para responder a esta pregunta lo primero que hacemos, siguiendo una estrategia ya conocida,
es localizar el problema. La siguiente notacin es cmoda: si x D .x1 ; x2 ; : : : ; xn / 2 Rn y
y D .y1 ; y2 ; : : : ; ym / 2 Rm , pondremos .x; y/ D .x1 ; x2 ; : : : ; xn ; y1 ; y2 ; : : : ; ym / 2 RnCm , es
decir, identificamos RnCm con Rn Rm . Supongamos que .a; b/ 2 satisface el sistema de
ecuaciones (3.31), es decir F.a; b/ D 0. Nos preguntamos si hay entornos abiertos, A Rn de
a y B Rm de b, tales que para todo x 2 A existe un nico y 2 B tal que .x; y/ sea solucin de
(3.31). Cuando esto es as, existe una funcin ' W A ! B que a cada x 2 A hace corresponder
el nico y 2 B que verifica que es solucin de (3.31), es decir, F.x; '.x// D 0. En tal caso,
tambin se tiene que M \ .A B/ D f.x; '.x// W x 2 Ag, es decir, el conjunto M \ .A B/
es la grfica de la funcin '.
El siguiente paso es linealizar el problema, esto es, sustituir la funcin F por su derivada en
.a; b/ y trasladar el problema que nos ocupa a dicha derivada. El sistema de ecuaciones lineales
que resulta escrito en forma matricial es:
JF .a; b/..x; y/t D 0
Se trata de un sistema de m ecuaciones lineales con nCm incgnitas y lo que queremos saber es
si dicho sistema permite despejar y en funcin de x. La respuesta es conocida: basta exigir que
el determinante de las ltimas m columnas de la matriz JF .a; b/ sea distinto de cero. Llamando
J1 la matriz de las primeras n columnas de JF .a; b/ y J2 a la matriz de las ltimas m columnas
tenemos que:
JF .a; b/..x; y/t D J1 .xt C J2 .y t D 0 y t D .J2 1 .J1 /.xt
Despus de lo que antecede, el teorema que sigue es lo que se espera.
3.17 Teorema (de la funcin implcita). Sea F D .f1 ; f2 ; : : : ; fm / W G ! Rm una funcin
vectorial de clase C 1 definida en un abierto RnCm . Sea .a; b/ 2 tal que F.a; b/ D 0 y
det DnCj fi .a; b/ 16i6m 0
16j 6m
Entonces existen un entorno abierto W de .a; b/, un entorno abierto U de a y una funcin
' W U ! Rm de clase C 1 tal que:
f.x; y/ 2 W W F.x; y/ D 0g D f.x; '.x// W x 2 U g
Universidad de Granada
Dpto. de Anlisis Matemtico
74
16i6m
16j 6m
16i6m
16j 6m
. Dj fi .x; '.x//
16i6m
16j 6n
8.x; y/ 2 :
D1 f1 .x; y/
::::::::::::
D1 fm .x; y/
:::
:::
:::
0nm
Dn f1 .x; y/
::::::::::::
Dn fm .x; y/
DnC1 f1 .x; y/
::::::::::::
DnC1 fm .x; y/
:::
:::
:::
DnCm f1 .x; y/
::::::::::::
DnCm fm .x; y/
Tenemos que:
detJH .x; y/ D det DnCj fi .x; y/
16i6m
16j 6m
Por lo que detJH .a; b/0. Podemos aplicar el teorema de la funcin inversa al campo vectorial
H para obtener que hay un entorno abierto de H.a; b/D.a; 0/, que podemos tomarlo de la forma
U V donde U Rn es un entorno abierto de a y V Rm es un entorno abierto de 0, y
un entorno abierto de .a; b/, W , tal que H es un difeomorfismo de clase C 1 de W sobre
U V.
Sea G W U V ! W RnCm el difeomorfismo inverso de HjW . Teniendo en cuenta la
definicin de H, claramente G es de la forma:
G.x; z/ D .x; .x; z//
8.x; z/ 2 U V
8x 2 U:
La funcin ' es de clase C 1 . Para todo x 2 U se tiene que .x; 0/ 2 U V y G.x; 0/D.x; '.x//.
Por lo que .x; 0/DH.G.x; 0//DH.x; '.x//D.x; F.x; '.x//, luego F .x; '.x//D0. Observa
que para todo x 2 U se tiene que .x; '.x// 2 W . Luego hemos probado que:
f.x; y/ 2 W W F.x; y/ D 0g f.x; '.x// W x 2 U g
Supongamos ahora que .x; y/ 2 W y F.x; y/ D 0. Entonces H.x; y/ D .x; 0/ 2 U V , luego
x 2 U y, por tanto, .x; '.x// D G.x; 0/ 2 W . Puesto que H.x; '.x// D .x; 0/, y H es inyectiva
en W ha de ser y D '.x/. Hemos probado as que:
f.x; y/ 2 W W F.x; y/ D 0g f.x; '.x// W x 2 U g :
Universidad de Granada
Dpto. de Anlisis Matemtico
75
Derivando esta identidad respecto a la variable k-sima por la regla de la cadena, poniendo
' D .'1 ; '2 ; : : : ; 'm /, tenemos que:
Dk fi .x; '.x// C
m
X
j D1
Y, por tanto, dicho sistema tiene solucin nica que viene dada por:
D ' .x/ D
k 1
::::::
::::::
Dk 'm .x/
:::
::::::::::::
:::
::::::::::::
:::
DnC1 fm .x; '.x// : : :
D f .x; '.x//
k 1
::::::
::::::
Dk fm .x; '.x//
Tenemos en total n sistemas de ecuaciones, uno para cada valor de k D 1; 2; : : : ; n. Cada uno
de ellos tiene como solucin la columna k-sima de la matriz jacobiana J' .x/. Las soluciones
de todos ellos podemos escribirlas matricialmente en la forma:
1
J' .x/ D
DnCj fi .x; '.x// 16i6m . Dj fi .x; '.x// 16i6m
16j 6m
16j 6n
Universidad de Granada
Dpto. de Anlisis Matemtico
76
6/
2.x C y C x 2 y 2 / D 0
define a z como funcin implcita de .x; y/ en un entorno de .1; 1/, con z.1; 1/D6. Comprobar
que .1; 1/ es un punto crtico de la funcin z D z.x; y/.
6/
@z
D0
@x
@z
D0
6//
@y
6//
Donde las derivadas parciales de la funcin implcita z D z.x; y/ estn calculadas en un punto
.x; y/ 2 U y las de f estn calculadas en el punto .x; y; z.x; y//. Haciendo x D y D 1,
@z
@z
z D z.1; 1/ D 6, en las igualdades anteriores, se obtiene que
.1; 1/ D
.1; 1/ D 0, esto es,
@x
@y
.1; 1/ es un punto crtico de z D z.x; y/.
El ejemplo anterior es todava demasiado explcito, nos dice muy claramente lo que hay
que hacer. Lo ms frecuente es que nos encontremos con ejercicios como el siguiente.
3.20 Ejemplo. Sabiendo que
y cos.xz/ C x 3 ez y z C 1 D 0
(3.32)
@z
.x; y/ y particularizar para el punto .x; y/ D .0; 0/.
@x
Solucin. En un ejercicio como este lo ms fcil es que en la igualdad (3.32) sustituyas mentalmente z D z.x; y/ y la veas como
y cos xz.x; y/ C x 3 ez.x;y/y z.x; y/ C 1 D 0
(3.33)
Calcular
es decir, supones que has calculado para valores de x e y dados la solucin respecto a z de la
igualdad (3.32). Esta solucin (que de hecho no es posible expresar de forma explcita, esto es,
que no puede calcularse) la representamos por z Dz.x; y/ y es la funcin implcita definida por
la igualdad (3.32) (el teorema de la funcin implcita que es un teorema de existencia garantiza
Universidad de Granada
Dpto. de Anlisis Matemtico
77
que dicha funcin existe cuando se cumplen las hiptesis del mismo). Ahora derivamos en la
igualdad (3.33) respecto a x para obtener
y sen xz.x; y/
de donde
@z
@z
z.x; y/ C x .x; y/ C 3x 2 ez.x;y/y Cx 3 y .x; y/ ez.x;y/y
@x
@x
@z
.x; y/ D 0
@x
yz.x; y/ sen xz.x; y/
3x 2 ez.x;y/y
@z
.x; y/ D
@x
x 3 y ez.x;y/y x y sen.xz.x; y// 1
Naturalmente, esta igualdad tiene sentido siempre que el denominador de la fraccin sea
distinto de cero. Puedes comprobar que si llamas f .x; y; z/ D y cos.xz/ C x 3 ezy z C 1
entonces la igualdad anterior es precisamente
@f
.x; y; z/
@x
@f
.x; y; z/
@z
calculada en el punto .x; y; z.x; y//. Para .x; y/ D .0; 0/ se tiene que z.0; 0/ viene dado por
la ecuacin que se obtiene haciendo x D 0 e y D 0 en la igualdad (3.32) de donde se sigue
z.0; 0/ D 1. Adems
@f
@f
.0; 0; z.0; 0// D
.0; 0; 1/ D 1 0
@z
@z
Por lo que
@z
0
.0; 0/ D
D0
@x
1
Ejercicios propuestos
Universidad de Granada
Dpto. de Anlisis Matemtico
78
g.t/dt C
wz 2
3xCy
h.t/dt D 0
g.t/ dt C x 2 y D 0
define a y como funcin implcita de x en un entorno del punto .1; 0/. Calcula y 0 .1/.
132. Supongamos que la igualdad F.x; y; z/D0 determina implcitamente funciones diferen@x @y @z
ciables x D x.y; z/, y D y.x; z/, z D z.x; y/. Probar que
D 1.
@y @z @x
133. Calcular la derivada de la funcin y D y.x/ definida implcitamente por
x y C 3x 2
2y 2
2y D 0
2x y D 0
@u
.x; y/ D
@y
@v
.x; y/
@x
x 3 C y 3 C f1 .x; y/3
Calcula DF.1; 1/ y
f2 .x; y/3 D 0
@2 f1
.1; 1/.
@x 2
Universidad de Granada
Dpto. de Anlisis Matemtico
79
137. Justifica la existencia de una funcin ' de clase C 1 definida en un entorno U de cero en
R con valores en R tal que:
1
'.x/ ex Cx e'.x/ D0
8x 2 U
x 5y C y 5 u C z 5 v D 1
definen a u y a v como funciones implcitas de .x; y; z/ en un entorno de .0; 1; 1; 1; 0/.
@2 u
@u
Calcula
.0; 1; 1/ y 2 .0; 1; 1/.
@y
@y
139. Justifica la existencia de abiertos difeomorfos A y B de R2 verificando que .1; 1/ 2 A,
.0; 1/ 2 B y que para cada .x; y/ 2 A existe un nico .u; v/ 2 B tal que:
x eu Cy ev D 1 C e
u ex Cv ey
D e
Calcula la matriz jacobiana en .1; 1/ de la aplicacin .x; y/ 7! .u.x; y/; v.x; y//.
Calcula la matriz jacobiana en .0; 1/ de la aplicacin .u; v/ 7! .x.u; v/; y.u; v//.
140. Sea z D z.x; y/ la funcin dada implcitamente por
3x 2 y 2 C 2z 2 xy
Calcula
2zx 3 C 4zy 3
4 D 0:
@2 z
en el punto .2; 1/ siendo z.2; 1/ D 2.
@x@y
6/
2.x C y C x 2 y 2 / D 0
define a z como funcin implcita de .x; y/ en un entorno de .1; 1/, con z.1; 1/ D 6.
Comprobar que .1; 1/ es un punto crtico de la funcin z D z.x; y/ y estudiar si se trata
de un mximo relativo, mnimo relativo o punto de silla.
142. Sea z D z.x; y/ la funcin dada implcitamente por yz 4 C x 2 z 3
@2 z
en el punto .x; y/ D .1; 0/.
@x@y
143. Calcular y clasificar los puntos crticos de la funcin z D z.x; y/ definida implcitamente
por la igualdad 2x 2 C 2y 2 C z 2 C 8xz z C 8 D 0.
144. Probar que es posible despejar de manera diferenciable u y v en funcin de x; y; z en las
ecuaciones:
xy 2 C xzu C yv 2 D 3
3
u xy C 2xv u2 v 2 D 2
En un entorno de .x; y; z/ D .1; 1; 1/ y .u; v/ D .1; 1/. Calcula
Universidad de Granada
Dpto. de Anlisis Matemtico
@u
@v
.1; 1; 1/ y .1; 1; 1/.
@z
@z
80
145. Prueba que existen dos campos escalares u y v definidos en un entorno abierto U del
punto .1; 1/ verificando que u.1; 1/ D v.1; 1/ D .1; 1/ y para todo .x; y/ 2 U :
3
x C y 3 C u.x; y/3 v.x; y/3 D 0
x 2 C y 2 2u.x; y/v.x; y/
D 0
Sea f W V ! R un campo escalar de clase C 2 definido en un entorno abierto V de
@2 h
.1; 1/ y definamos h.x; y/ D f .u.x; y/; v.x; y//. Calcula
.1; 1/ y sabiendo que
@x@y
D1 f .1; 1/ D D2 f .1; 1/ D D12 f .1; 1/ D 2.
146. Sea f W R3 ! R3 el campo vectorial definido por:
f.x; y; z/ D .x xy; xy xyz; xyz/
Sea D .x; y; z/ 2 R3 W xy 0 . Justifica que es abierto y que f es un difeomorfismo
de sobre f./. Calcula la matriz jacobiana del difeomorfismo inverso en el punto
.0; 0; 1/.
xxu yv C eu cos v D 1
xv C yu C eu sen v D 0
149. Sea A D .x; y; z/ 2 R3 W x D y _ y D z _ z D x . Prueba que A es un conjunto cerrado y que la funcin f W ! R3 dada por:
f.x; y; z/ D .x C y C z; xy C yz C zx; xyz/
es un difeomorfismo local en D R3 nA.
x ev Cyu u2
D 0
2
2
y cos v C x
u D 1
Variedades diferenciables en Rn
81
Prueba que DF .a/ es invertible en todo punto a 2 Rn , que F .Rn / es cerrado y que F es
un difeomorfismo de Rn sobre Rn .
153. Sea f W R ! R una funcin de clase C 1 en R y supongamos que hay un nmero < 1
tal que jf 0 .t/j 6 para todo t 2 R. Definamos F W R2 ! R2 por
F .x; y/ D .x C f .y/; y C f .x//
Prueba que F es un difeomorfismo de R2 sobre R2 .
Ejercicios propuestos
154. Prueba que todas las bolas abiertas en un espacio normado .X; k k/ son homeomorfas a
la bola abierta unidad, B.0; 1/, y que sta es homeomorfa a X .
155. Prueba que la esfera eucldea unidad en R3 no es homeomorfa a R2 .
Universidad de Granada
Dpto. de Anlisis Matemtico
Variedades diferenciables en Rn
82
Consideremos, pues, un conjunto no vaco M Rn . Dicho conjunto es un espacio topolgico y ser localmente parecido al espacio Rk si para todo punto a 2 M existe un abierto
relativo Va M que lo contiene que es homeomorfo a Rk . Como toda bola abierta en Rk es
homeomorfa a Rk , y la restriccin de un homeomorfismo sigue siendo un homeomorfismo, no
se pierde nada, y se gana agilidad en la exposicin, si en vez de exigir que Va sea homeomorfo
a Rk exigimos que sea homeomorfo a un abierto U Rk . Supongamos, pues, que } WU ! Va
es un homeomorfismo. Podemos interpretar que U es un mapa plano que representa Va y }
es la aplicacin que lleva cada punto de dicho mapa a su correspondiente en Va . Digamos que
lo que hace la aplicacin } es curvar y pegar el mapa plano U sobre un trozo Va de M .
Tambin queremos que nuestras variedades tengan un espacio tangente en cada punto
que tenga la misma dimensin que la variedad. Para ello vamos a exigir que } sea al menos de
clase C 1 y que su diferencial tenga rango k en todo punto. Naturalmente, Va ser de la forma
Va D W \ M donde W es un entorno abierto de a en Rn .
Diremos que un par .}; U / en las condiciones de la definicin anterior es una carta local
de M en a. El par .} 1 ; }.U // se llama un sistema de coordenadas locales. Las coordenadas
de un punto x 2 }.U / son las coordenadas cartesianas de } 1 .x/. Esta terminologa no es universal y muchos textos llaman carta local a lo que hemos llamado sistema de coordenadas
locales. Tanto da, pues conocer .}; U / es lo mismo que conocer .} 1 ; }.U //. Tambin se
dice que el par .}; U / o la aplicacin } es una parametrizacin local de M en a. Una parametrizacin .}; U / tal que la aplicacin } 1 sea una proyeccin en k-coordenadas, es decir,
} 1 .x1 ; x2 ; : : : ; xn / D .xi1 ; xi2 ; : : : ; xik / donde 1 6 i1 < i2 < : : : < ik 6 n, se llama una
parametrizacin cartesiana.
Las expresiones escritas entre parntesis en la definicin anterior se sobrentendern en todo
lo que sigue: nuestras variedades sern siempre de clase C q con 1 6 q 6 1.
Las variedades de dimensin 1 se suelen llamar curvas regulares y las de dimensin 2
superficies regulares. Las variedades de dimensin n 1 que estn en Rn con n > 3 suelen
llamarse hipersuperficies.
Con el convenio R0 D f0g (espacio vectorial nulo), puede incluirse en la definicin anterior
el caso k D 0.
Ejercicios propuestos
156. Prueba que las variedades de dimensin n contenidas en Rn son los conjuntos abiertos
de Rn .
157. Prueba que las variedades de dimensin 0 son conjuntos de puntos aislados.
En lo que sigue, para no caer en los casos extremos considerados en los ejercicios anterioUniversidad de Granada
Dpto. de Anlisis Matemtico
Variedades diferenciables en Rn
83
b) Para todo punto a 2 M existen, previa una reordenacin de las variables en Rn , entornos
abiertos W Rn de a, U Rk de 1 .a/, y una funcin ' W U ! Rn k de clase C q tal que
W \ M D f.x; '.x// W x 2 U g.
Demostracin. Probaremos que a/b/. Sea a 2 M . Por hiptesis hay un entorno abierto
W1 Rn de a, un abierto Rk y una aplicacin } W ! Rn de clase C q tal que
rangoJ} .x/ D k para todo x 2 y } es un homeomorfismo de sobre W1 \ M . Sea x0 2
tal que }.x0 /Da. Como rangoJ} .x0 /Dk, reordenando las variables si fuera preciso, podemos
suponer que las primeras k filas de J} .x0 / D k tienen determinante distinto de cero. Esto es
tanto como decir que la aplicacin }1 D 1 } W ! Rk , cuya matriz jacobiana est formada
precisamente por las primeras k filas de J} .x0 /, verifica que detJ}1 .x0 / 0.
El teorema de la funcin inversa afirma que hay un entorno abierto V de x0 tal que
}1jV W V ! U es un difeomorfismo de clase C q de V sobre el abierto U D }1 .V /. Observa
que }1 .x0 / D 1 .}.x0 // D 1 .a/ 2 U .
El conjunto }.V / es un entorno abierto de a en W1 \ M , luego existe un entorno abierto
W2 Rn de a tal que
}.V / D W2 \ W1 \ M D W \ M
donde W D W2 \ W1 es un entorno abierto de a.
Universidad de Granada
Dpto. de Anlisis Matemtico
Variedades diferenciables en Rn
84
k,
h.x/ D }.}1jV1 .x// D .}1 .}1jV1 .x//; }2 .}1jV1 .x/// D .x; }2 .}1jV1 .x//
Definamos ' W U ! Rn
(3.34)
Observa que la funcin h W U ! Rn antes definida, h.x/ D .x; '.x//, es una aplicacin
de clase C q y rangoJh .x/ D k para todo x 2 U . Adems h es una biyeccin continua de U
sobre W \ M cuya biyeccin inversa, .x; '.x// 7! x, es la proyeccin en las primeras kcoordenadas y, por tanto, continua. Esto es, el par .h; U / es una parametrizacin cartesiana
local de M en a. Hemos probado as el siguiente resultado.
3.24 Corolario. Toda variedad tiene parametrizaciones cartesianas en el entorno de cada uno
de sus puntos.
Podemos obtener otra interesante consecuencia de la demostracin anterior. Pongamos G D
W \.U Rn k / que es un entorno abierto de a. Definamos gWG ! Rk por g.z/D}1jV1 .1 .z//.
Observa que para todo z 2 G se tiene que 1 .z/ 2 U , por lo que la aplicacin g est bien
definida, es de clase C q y g.z/ 2 V . Por la igualdad (3.34) se tiene que W \ M G, lo que
implica que W \ M G \ M , pero G \ M D W \ M \ .U Rn k / W \ M . Luego
G \ M D W \ M . Como para todo z 2 W \ M se tiene que z D }.x/ donde x 2 V , resulta
que:
g.z/ D g.}.x// D }1jV1 .1 .}.x/// D }1jV1 .}1 .x// D x D } 1 .z/
Por tanto las restricciones de g y de } 1 a G \ M D }.V / coinciden. Teniendo en cuenta que
los puntos x0 2 V y a D }.x0 / 2 M pueden ser cualquier par de puntos en esa situacin, hemos
probado el siguiente resultado.
3.25 Proposicin. Sea .}; / una parametrizacin local de una variedad M Rn de dimensin k y clase C q . Entonces para todo x 2 existen un entorno abierto V de x, un
entorno abierto G de }.x/ y una funcin g W G ! V Rk de clase C q tal que }.V / D G \ M
1
y }jG\M
D gjG\M .
Podemos probar ahora con facilidad un resultado que es muy importante cuando se estudia
la integracin en variedades.
3.26 Teorema. Sea M Rn una variedad de dimensin k y clase C m , .P ; 1 / y .Q; 2 /
cartas locales de M tales que P .1 /\Q.2 /DW . Sea Up DP 1 .W / y Uq DQ 1 .W /.
Entonces la aplicacin Q 1 PjUp es un difeomorfismo de clase C m de Up sobre Uq .
Universidad de Granada
Dpto. de Anlisis Matemtico
Variedades diferenciables en Rn
85
Sea U D P
F.z/ D .Q
1 .G
PjUp /.z/ D Q
Hemos probado que FjU D g PjU . La funcin g PjU es composicin de funciones de clase
C m y, por tanto, es de clase C m en U , luego F tambin es de clase C m en U . Hemos probado
que F es localmente de clase C m en Up y teniendo en cuenta el carcter local de la derivada,
deducimos que F es de clase C m en Up .
Razonando de forma anloga, se prueba que la funcin F
en Uq .
DP
QjUq es de clase C m
2
El teorema de la funcin implcita nos dice que el conjunto donde se anula un campo
vectorial diferenciable de rango mximo es localmente una grfica funcional y proporciona
interesantes ejemplos de variedades.
3.27 Proposicin. Sea FW ! Rn k una funcin vectorial de clase C q en un abierto Rn .
Sea
M D f.x; y/ 2 W F.x; y/ D 0g
y supongamos que rangoJF .x; y/ D n k para todo .x; y/ 2 M . Entonces se verifica que M
es una variedad de clase C q y dimensin k. Se dice que la variedad M est determinada por
F y que F.x; y/ D 0 son las ecuaciones implcitas de la variedad.
Demostracin. Sea .a; b/ 2 M . Entonces F.a; b/D0 y rangoJF .a; b/Dn k. No es restrictivo
suponer que las ltimas n k columnas de la matriz JF .a; b/ son linealmente independientes3 .
El teorema de la funcin implcita nos dice que hay un entorno abierto W de .a; b/, un
entorno abierto U Rk de a y una aplicacin de clase C q , ' W U ! Rn k tal que:
f.x; y/ 2 W W F.x/ D 0g D W \ M D f.x; '.x// W x 2 U g
Basta tener ahora en cuenta lo dicho antes del corolario 3.24.
3 Esto
Universidad de Granada
Dpto. de Anlisis Matemtico
Variedades diferenciables en Rn
86
h W U Rn
! Rn
' D } }1jV1
h D 2
2 ' 1
'kC1 .x1 ; : : : ; xk /; : : : ; xn
es
'n .x1 ; : : : ; xk //
D x 2 Rn W 1 .x/ D 1 .}.u// ^ 2 .x/ D .2 '/.1 .}.u/// para algn u 2 V D
D x 2 Rn W 1 .x/ D 1 .}.u// ^ 2 .x/ D 2 .}.u// para algn u 2 V D
D x 2 Rn W x D }.u/ para algn u 2 V D }.V /
87
Hemos visto que una variedad M Rn de dimensin k puede venir dada (localmente)
por medio de sus ecuaciones paramtricas, es decir como la imagen de una parametrizacin, o
por medio de sus ecuaciones implcitas, es decir como el conjunto de puntos donde se anula
una funcin vectorial de n variables y n k componentes y de rango mximo. Es instructivo
considerar los casos ms simples de variedades: los subespacios afines de Rn . Como debes
saber, un subespacio afn de dimensin k de Rn puede venir dado por sus ecuaciones implcitas:
8
a11 x1 C a12 x2 C C a1n xn
D
c1
<
a21 x1 C a22 x2 C C a2n xn
D
c2
:::::::::::::::::::::::::::
::: ::::::
:
an k1x1 C an k2 x2 C C an k nxn D cn k
Dichas ecuaciones representan la interseccin de n k hiperplanos y deben ser linealmente
independientes, es decir, el rango de la matriz de los coeficientes del sistema debe ser igual a
n k. Definiendo F W Rn ! Rn k por:
0
1
n
n
n
X
X
X
a1j xj c1 ;
a2j xj c2 ; : : : ;
an kj xj cn k A
F.x1 ; x2 ; : : : ; xn / D @
j D1
j D1
j D1
por:
kC16j 6n
B 1.A:.x1 ; x2 ; : : : ; xk /t
Poniendo
}.x1 ; x2 ; : : : ; xk / D x1 ; x2 ; : : : ; xk ; B 1.ct
B 1.A..x1 ; x2 ; : : : ; xk /t
88
?
.a/ D x 2 Rn W xu D 0; 8u 2 TM .a/
TM
Cuando se conoce una parametrizacin o las ecuaciones implcitas que representan localmente a M en a es muy fcil calcular los espacios tangente y normal.
3.29 Proposicin. Sean F.x/ D 0 las ecuaciones implcitas locales de M en a y .}; / una
parametrizacin local de M en a con }.c/ D a. Entonces se verifica que:
TM .a/ D Ker DF.a/ D Im D}.c/
Demostracin. Como las matrices jacobianas de F y } tienen respectivamente rango n k y
k, los espacios vectoriales Ker DF.a/ e Im D}.c/ tiene dimensin k. Bastar, por ello, probar
que:
Im D}.c/ TM .a/ Ker DF.a/
Sea h 2 Im D}.c/ y sea v 2 Rk tal que D}.c/.v / D h. Sea > 0 tal que el segmento
c v ; c C v y definamos W c v ; c C v ! M por .t/ D }.c C tv /. Tenemos
que .0/ D a y 0 .0/ D D}.c/.v / D h. Lo que prueba que h 2 TM .a/.
Sea ahora u 2 TM .a/ y sea W ; ! M una curva con .0/ D a y 0 .0/ D u. Tomando
suficientemente pequeo para que la curva est contenida en la parte de M determinada
por F se tiene que .t/ D .F /.t/ D 0 y por tanto 0 .0/ D DF.a/.u D 0, lo que prueba que
u 2 Ker DF.a/.
2
La proposicin anterior tiene una simetra que merece destacar: si representamos localmente M en a de forma implcita por los ceros de una funcin F, entonces el espacio tangente
TM .a/ viene dado por los ceros de DF.a/; y si representamos localmente M en a como la
imagen de una parametrizacin }, entonces el espacio tangente TM .a/ viene dado como la
imagen de D}.c/ siendo }.c/ D a.
a C TM .a/ D x 2 Rn W rFi .a/x a D 0; 1 6 i 6 n k
(3.35)
Naturalmente, el espacio afn ortogonal a M en a viene dado por:
8
n
<
Xk
?
a C TM
.a/ D x 2 Rn W x D a C
i rFi .a/ i 2 R 1 6 i 6 n
:
iD1
Universidad de Granada
Dpto. de Anlisis Matemtico
9
=
;
(3.36)
89
16j 6k
son una base del espacio TM .a/ y la variedad afn ortogonal a M en a viene dada por:
?
a C TM
.a/ D x 2 Rn W Dj }.c/x a D 0; 1 6 j 6 k
(3.37)
Naturalmente, el espacio afn tangente a M en a viene dado por:
8
9
k
<
=
X
a C TM .a/ D x 2 Rn W x D a C
j Dj }.c/ j 2 R 1 6 j 6 k
:
;
(3.38)
j D1
Observa que (3.35) y (3.37) son, respectivamente, las ecuaciones implcitas de la variedad
afn tangente y del espacio afn normal, mientras que (3.36) y (3.38) son, respectivamente, las
ecuaciones paramtricas del espacio afn normal y de la variedad afn tangente.
Ejercicios propuestos
158. Comprueba que las rectas y planos tangentes a curvas y superficies estudiados en la
seccin 2.2 son casos particulares de los resultados generales para variedades.
159. Interpreta en el contexto de la teora de variedades los ejercicios 83 87.
160. Prueba que cada uno de los siguientes subconjuntos de R3 es una variedad y calcula el
espacio afn tangente y normal en el punto P que se indica.
(
)
2
2
2
x
y
z
a) M D .x; y; z/R3 W 2 C 2 C 2 D 1 ; P D .a; b c/.
a
b
c
161. Prueba que M D .x; y; z/ 2 R3 W x 2 C y 2 2z 2 D 0 ^ x C y C z D 1 es una curva
regular y calcula su recta tangente en .1; 1; 1/.
162. Prueba que M D .x; y; z/ 2 R3 W x 2 C y 2 C z 2 D 1 ^ z D xy es una curva regular y
calcula su recta tangente en .a; b; c/ 2 M .
163. Prueba que la esfera eucldea unidad en Rn :
S n 1 D x 2 Rn W kxk2 D 1
es una variedad de dimensin n
un punto a 2 S n 1 .
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
90
3.31 Ejemplo. La funcin f .x; y/ D xy ex Cy tiene un nico punto crtico, el origen, que
es un punto de silla. Por tanto dicha funcin no tiene extremos relativos en R2 . Supongamos
que imponemos a las variables la condicin x 2 C y 2 D 1 y queremos calcular el mximo valor
de f .x; y/ cuando se verifique que x 2 C y 2 D 1. Fjate en que el problema es completamente
distinto. Ahora solamente nos interesan los valores que toma la funcin f .x; y/ en el conjunto
n
o
K D .x; y/ 2 R2 W x 2 C y 2 D 1
Sabemos que dicho conjunto es un conjunto compacto; adems la funcin f es continua, por
tanto podemos asegurar, de entrada, que tiene que haber algn punto .a; b/ 2 K en el cual la
funcin f alcanza su mayor valor en K (y tiene que haber otro donde alcance su menor valor
en K). Calcular dicho punto es, en este caso, muy sencilloppues para .x; y/ 2 K se tiene que
f .x; y/ D e x y. Como para .x; y/ 2 K se tiene que y D 1 x 2 y los valores negativos de
f no nos interesan porque queremos calcular el mayor valor que toma en K, se sigue que
n p
o
mKax ff .x; y/ W .x; y/ 2 Kg D mKax e x 1 x 2 W 0 6 x 6 1
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
91
Nuestro problema se ha
p convertido en algo que ya sabes hacer: calcular el mximo absoluto de
la funcin h.x/ D e x 1 x 2 para 0 6 x 6 1.
Por cierto, por la desigualdad de las medias se tiene que:
q
p
1
2
x 1 x D x 2 .1 x 2 / 6
2
p
x 2 , esto es en x D 1= 2 se alcanza el mximo
De hecho, t has resuelto ejercicios de extremos condicionados aunque puede que no seas
consciente de ello. Por ejemplo, seguro que alguna vez has resuelto el siguiente ejercicio.
3.32 Ejemplo. Entre todos los rectngulos cuyo permetro es igual a 16 calcular el que tiene
rea mxima.
Este ejercicio puedes plantearlo como sigue. Sea f .x; y/ D xy la funcin que da el rea de
un rectngulo cuyos lados tienen longitudes x e y. Se trata de calcular el mximo de f .x; y/
cuando las variables verifican la condicin 2x C2y D16. Por tanto, es un problema de extremos
condicionados. Seguro que ahora recuerdas algunos otros ejercicios parecidos a este que has
hecho sin saber que estabas haciendo problemas de extremos condicionados. La razn es clara:
la condicin que nos dan es tan sencilla que permite despejar una variable en funcin de la otra,
y D 8 x, con lo que nuestra funcin se convierte en xy D x.8 x/ y el problema queda
reducido a calcular el mayor valor de x.8 x/ cuando 0 6 x 6 8.
Por cierto, por la desigualdad de las medias se tiene que:
p
x.8 x/ 6 4
Los ejemplos anteriores ponen de manifiesto que los problemas de extremos condicionados de funciones de dos variables en los que puede utilizarse la condicin que nos dan para
despejar una variable en funcin de otra, se reducen fcilmente a problemas de extremos de
funciones de una variable. Pero supongamos ahora que cambiamos la condicin del ejemplo 1
por la siguiente:
x ex Cy C ey C sin.1 C xy/ D 2
La cosa se complica porque ahora es imposible usar la condicin impuesta para despejar una
variable en funcin de la otra. Ahora s tenemos un autntico problema de extremos condicionados.
Lo antes dicho para funciones de dos variables puedes generalizarlo para funciones de tres
variables. Por ejemplo el problema de calcular las dimensiones de un ortoedro de volumen
igual a 8 para que su superficie lateral sea mnima, puedes plantearlo como sigue: calcular el
mnimo de
f .x; y; z/ D 2xy C 2xz C 2yz
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
92
(la funcin que da la superficie lateral de un ortoedro cuyos lados tiene longitudes x, y, z) con
la condicin xyz D 8. Se trata de un problema de extremos condicionados, pero la condicin
dada permite despejar una variable en funcin de las otras dos, z D 8=.xy/, con lo que nuestra
funcin queda 2xy C 2xz C 2yz D xy C 16=y C 16=x, funcin de la que hay que calcular su
mnimo absoluto cuando 0 < x, 0 < y. Hemos convertido as el problema inicial de extremos
condicionados en uno de extremos libres porque ahora las variables .x; y/ se mueven en el
abierto RC RC .
Por cierto, por la desigualdad de las medias se tiene que:
q
p
p
xy C xz C yz
3
3
3
.xy/.xz/.yz/ D .xyz/2 D 64 6
3
eyx D1
1 D 0;
e1CyCxCz C cos.xyz/ C x 2 z 2
3D0
entonces no podemos usar esa condicin (o condiciones) para despejar una variable (o dos
variables) en funcin de las otras (de la otra).
Ocurre que muchos de los ejercicios que se proponen en los libros de texto para ser resueltos utilizando la teora de extremos condicionados que vamos a desarrollar seguidamente, se
resuelven con frecuencia de forma ms sencilla usando otro tipo de tcnicas o algunas desigualdades como la de las medias geomtrica y aritmtica o la de Cauchy - Schwarz. Pero aunque su
utilidad prctica pueda ser discutida, la teora de extremos condicionados tiene un gran inters
terico, especialmente en la formulacin Lagrangiana de la Mecnica.
En trminos generales, el problema clsico de extremos condicionados puede enunciarse
como sigue: dados un abierto Rn , un campo escalar f W ! R de clase C q y una funcin
vectorial g W ! Rn k de clase C q verificando que el conjunto:
M D fx 2 W g.x/ D 0 ^ rangoDg.x/ D n
kg
16i 6n
(3.39)
k /.
En Mecnica clsica, las ecuaciones (3.39) representan las ligaduras (que los fsicos llaman
holnomas) que obligan a un punto material o a un sistema ms complejo a desplazarse en una
determinada regin del espacio, y el problema de optimizar ciertos campos escalares asociados
al movimiento del sistema responde al problema de extremos condicionados.
El planteamiento del problema pone de manifiesto que M es una variedad en Rn de dimensin k y que se trata de determinar los extremos de la restriccin de f a esa variedad.
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
93
Como esto vale para todo h 2 Rk , resulta que el vector rf .a/ es ortogonal a D}.c/.Rk / D
TM .a/.
2
En los dos resultados anteriores no se ha supuesto que la variedad M venga dada de alguna forma concreta, sin embargo el resultado siguiente requiere en su enunciado conocer las
ecuaciones implcitas locales de M en a, por lo que de aqu en adelante vamos a suponer que
la variedad M es la variedad de dimensin k D n m determinada por una funcin vectorial
g W ! Rm de clase C q en un abierto Rn y tal que rangoDg.x/ D m < n para todo
x 2 :
M D fx 2 W g.x/ D 0g
Notaremos g D .g1 ; g2 ; : : : ; gm / los campos escalares componentes de g. Observa que esta
hiptesis no es realmente restrictiva porque todas las variedades vienen dadas localmente de
esta forma y el problema que nos ocupa es justamente un problema local. En lo que sigue
f W ! R ser un campo escalar de clase C q en .
Universidad de Granada
Dpto. de Anlisis Matemtico
Extremos condicionados
94
m
X
i gi .x/;
iD1
m
X
iD1
i Dj gi .a/ D 0 Dj .a; / D 0 1 6 j 6 n
(3.41)
Puesto que DnCj .a; /Dgj .a/D0 para 16j 6m porque a 2 M , se sigue que las igualdades
(3.41) equivalen a que .a; / sea un punto crtico de .
2
Los nmeros 1 ; 2 ; : : : ; m en el teorema anterior se llaman los multiplicadores de Lagrange del punto a. Obtenemos as una regla prctica para proceder en un problema de extremos condicionados: se empieza por resolver el sistema de Lagrange:
9
m
X
>
=
Dj f .x1 ; x2 ; : : : ; xn / C
i Dj gi .x1 ; x2 ; : : : ; xn / D 0 >
16j 6nCm
iD1
>
>
;
gj .x1 ; x2 ; : : : ; xn /
D 0
Es un sistema de n C m ecuaciones en general no lineales para el que no puede haber tcnicas
generales de resolucin. De hecho, puede resolverse de forma exacta en muy pocos casos.
definida por:
Q .a; /.x/ D
Universidad de Granada
Dpto. de Anlisis Matemtico
n
X
i;j D1
8x 2 Rn
(3.42)
Extremos condicionados
95
k
X
8u 2 Rk :
Dij h.c/ui uj
i;j D1
3.37 Proposicin. Sea .a; / un punto crtico de la funcin de Lagrange. Con las notaciones
anteriores, se verifica que:
Qh .c/.u/ D Q .a; /.D}.c/.u//
8u 2 Rk
(3.43)
Demostracin. Se trata de hacer un clculo. La mayora de los textos lo evitan. Vamos a hacerlo.
k
Notaremos por ei , 1 6 i 6 k, los vectores
de
la base cannica de R . Como h es un
campo escalar, se verifica que Di h.c/ D rh.c/ ei D Df .c/.ei /. Para campos vectoriales,
como }, esta relacin tambin se mantiene si interpretamos que Di }.c/ es la columna i-sima
de la matriz jacobiana J} .c/. Dicha columna es el vector de Rn que se obtiene derivando las
funciones componentes de } con respecto a la variable i-sima que notaremos por Di }.c/.
Por tanto Di }.c/ D D}.c/.ei /. Como hay que calcular derivadas parciales de segundo orden
conviene calcular las derivadas parciales de primer orden en un punto genrico u 2 U para
volver a derivarlas usando la regla de la cadena. Para u 2 U tenemos:
Di h.u/ D D.f }/.u/.ei / D Df .}.u// D}.u/ .ei / D Df .}.u// D}.u/.ei / D
(3.44)
D rf .}.u//Di }.u/ D .rf / }/.u/Di }.u/
Dij h.u/ D Dj .Di h.u// D Dj ..rf / }/.u/Di }.u/ C rf .}.u//Dj .Di }/.u/ (3.45)
m
X
lD1
m
X
lD1
(3.46)
(3.47)
l rgl .a/.
(3.48)
Extremos condicionados
96
0 D Dij .gl }/.c/ D D.rgl /.a/.Dj }.c//Di }.c/ C rgl .a/Dj .Di }/.c/
de donde se sigue que:
*m
+
X
lD1
D.rf /.a/ C
m
X
lD1
(3.49)
m
X
l Dij gl .a/
lD1
m
X
l D.rgl /.a/
(3.50)
lD1
Pues observa que la matriz jacobiana de D.rf /.a/ es la matriz hessiana de f en a y que la
matriz jacobiana de D.rgl /.a/ es la matriz hessiana
de gl en a. Por tanto, la matriz jacobiana
de (3.50) es justamente la matriz Dij .a; / 16i6n .
16j 6n
Lo que dice la igualdad (3.49) es que la forma cuadrtica asociada a la matriz hessiana de
h D f } en el punto c es igual a la restriccin de la forma cuadrtica asociada a la matriz
Dij .a; / 16i6n al espacio tangente a M en a. Para verlo ms claro todava, pongamos,
16j 6n
por comodidad de escritura, A D Dij .a; / 16i6n . La forma cuadrtica asociada a dicha
16j 6n
matriz, es justamente la definida en (3.42), es decir, Q .a; /, y viene dada para todo x 2 Rn
por:
Universidad de Granada
Dpto. de Anlisis Matemtico
k
X
uj Dj }.c/
j D1
Extremos condicionados
97
k
X
i;j D1
+
X
k
ui Di }.c/ D
iD1
k
X
D Qh .c/.u/
Como queramos probar.
1 6 i; j 6 k
(3.51)
mij D A.ati aj
Como consecuencia de la proposicin 3.34, de la proposicin anterior y del teorema 2.25,
obtenemos condiciones suficientes para que f tenga en a un extremo local condicionado por
M.
3.38 Teorema (Condicin suficiente de extremo local condicionado). Con las notaciones y las
hiptesis anteriores, supongamos
que .a; / es un punto crtico de la funcin de Lagrange y
pongamos A D Dij .a; / 16i6n . Sea fa1 ; a2 ; : : : ; ak g una base del espacio TM .a/ y sea
16j 6n
.mij /kk la matriz cuyos elementos mij vienen dados por (3.51). Sea Q W Rk ! R la forma
cuadrtica:
k
X
Q.u/ D
mij ui uj
8u 2 Rk
i;j D1
16i6n
16j 6n
importante que calcules las soluciones del sistema de Lagrange en la forma .a; / agrupando
Universidad de Granada
Dpto. de Anlisis Matemtico
98
cada punto a con sus correspondientes multiplicadores de Lagrange. Cada a tiene asociado un
nico multiplicador , pero puede ocurrir que diferentes a tengan asociado el mismo multiplicador porque distintos a pueden dar lugar al mismo rf .a/. Los coeficientes mij dependen en
general de a y de y para cada par .a; / resulta, en general, una forma cuadrtica Q diferente
cuyo carcter debes estudiar. Pese a todo, de hecho, en la prctica sucede con frecuencia que
A no depende de , en tal caso puedes olvidarte de los valores de y considerar solamente los
de a.
La forma de calcular rpidamente la matriz .mij /kk es la siguiente: sea Bnk una matriz
cuyas columnas sean los vectores base de TM .a/, entonces:
.mij /kk D B t .A.B
(3.52)
Ejercicios propuestos
99
solucin solamente puede ser el cubo, pero dicha teora no te dice si el mnimo alcanzado
es absoluto.
167. Calcula la distancia mnima de un punto P D .; ; / al plano Ax C By C C z D D:
a) Usando la teora de extremos condicionados.
169. Una curva est dada como la interseccin del cilindro x 2 C y 2 D 4 con el plano de
ecuacin 2x C 3y C z D 3. Calcula el punto de la misma que est ms prximo al origen.
170. Sea A una matriz simtrica n n. Aplica el mtodo de los multiplicadores de Lagrange
para calcular el mximo absoluto de la forma cuadrtica asociada a A condicionado por
la esfera eucldea unidad en Rn , para probar que dicho mximo se alcanza en un punto
de la forma .a; / tal que A.at D a. Por tanto es un valor propio de A.
171. Calcula el mximo absoluto de f .x; y; z/ D x 3 y 2 z en el conjunto:
C
C
M D .x; y; z/ 2 RC
o R o R o W x C 2y C 3z D 1
172.
P D.u; v/
x2
y2
C
D1
a2
b2
en un punto P D .u; v/ de la misma situado
en el primer cuadrante y dicho segmento de
la tangente.
173. Utiliza el mtodo de los multiplicadores de Lagrange para calcular un punto de la elipse
de ecuacin
x2
y2
C
D1
a2
b2
tal que el segmento determinado por la interseccin de la tangente a la elipse en dicho
punto con los ejes coordenados tenga longitud mnima.
174. Prueba que el mximo absoluto de f .x1 ; x2 ; : : : ; xn / D .x1 x2 xn /2 sometido a la
condicin k.x1 ; x2 ; : : : ; xn /k2 D r es igual a .r 2 =n/n . Deduce que:
q
n
Universidad de Granada
Dpto. de Anlisis Matemtico
1X 2
xi
n
iD1
8.x1 ; x2 ; : : : ; xn / 2 Rn
Prof. Javier Prez
Clculo Diferencial en Rn
100
1X
p
n
x1 x2 xn 6
xi
n
iD1
n
8.x1 ; x2 ; : : : ; xn / 2 .RC
o/
Cundo se da la igualdad?
175. Utiliza el mtodo de los multiplicadores de Lagrange para calcular el volumen del ortoedro de mximo volumen inscrito en el elipsoide de ecuacin
x2
y2
z2
C
C
D1
a2
b2
c2
Sabes resolver este ejercicio usando la desigualdad de las medias?
176. Prueba que el mximo absoluto de x 2 y 2 sujeto a la condicin
x 2p
y 2q
C
D r2
p
q
donde p > 0, q > 0 verifican que:
1
1
C D1
p
q
se alcanza cuando x 2p D y 2q y es igual a r 2 . Deduce que si x > 0 e y > 0 se verifica
que:
xp
yq
xy 6
C
p
q
Cundo se da la igualdad?
177.
z2 D 1
2y C 5z en la esfera
101
xy 2
x C 16.
x3
y3
C
3
3
x2
2
y2
C1
2
a) Calcula y clasifica los puntos crticos de f en la bola abierta Bk k2 ..0; 0/; 2/.
b) Calcula los extremos absolutos de f en la bola cerrada B k k2 ..0; 0/; 2/.
189. Calcula los puntos del conjunto AD .x; y/ 2 R2 W x 2 C y 2 6 2x; y > 0 donde el campo escalar f .x; y/ D x 2 2xy C y 2 alcanza su mximo y mnimo absolutos.
190. Calcular los extremos absolutos de f .x; y/D.x 2 C2y 2 / e
x2 y 2
en el disco x 2 Cy 2 64.
102
2x C y 2
3 6 0.
y/ en el conjunto
y D 2 y la parbola y D x 2 .
4yz
2xz
2xy
Universidad de Granada
Dpto. de Anlisis Matemtico