Escolar Documentos
Profissional Documentos
Cultura Documentos
(
3
), que C es un lazo simple regular, como lo prueba la parametrizacin
ii
: [0, 2t]
3
tal que(t) = (3
cos(t), 4, 3 sen(t)), con velocidad: ,0, 2t]
3
tal que (t) = (3 sen(t), 0, 3 cos(t)), que orienta la curva como lo
indica la figura siguiente. Ahora, si definimos la superficie S0 ={(x, y, z)e
3
: x
2
+ z
2
9, y = 4}, disco que puede
parametrizarse en ,0, 3- [0, 2t) como S0 =T(), conT(r, t) = (r cos(t), 4, r sen(t)), campo de normales dado por
el producto vectorialN(r, t) =Tr(r, t) Tt(r, t) = (0, r, 0)
iii
. Con las orientaciones as planteadas
iv
, e indicadas en la
ilustracin 2, podemos aplicar el teorema de Stokes para calcular lo pedido, cuyo valor es 36t.
0
=
(, )
(, )
= 4
= 4
2
0
3
0
= 36
La anterior resolucin es muy ineficiente, la parametrizacin del disco S0 bien pudo evitarse, dado que se trata de la
porcin de un plano con versor normal inmediato (constante en todos los puntos de la superficie) y est dado por:
= (0, 1, 0), de modo que, para todo punto (x, 4, z) en S0 se tiene que
(, 4, ) (, 4, ) = 4, de modo que
0
= 4
0
= 4 () = 4(9) = 36. La habilidad de escoger la mejor solucin se adquiere desde la
prctica, y comparando ms de una resolucin.
Una resolucin todava peor que la primera consiste en ignorar el Teorema del rotor, y recuperar un campo vectorialg a
partir de su campo de rotores (un problema cuya solucin est determinada salvo el gradiente de un campo escalar
v
): uno
i
Su campo de rotores es C
en
3
, de modo que debe serlo l mismo. Se dice queg es un potencial vectorial del campo de rotoresh =rot(g), lenguaje
similar al utilizado cuando se dice que es un potencial escalar del campo vectorial de gradientesf =V. Tambin se dice queh es el rotacional deg.
ii
Es claro que es C
en su dominio (sus componentes son senos y cosenos), y adems si (t1) =(t2), esto es, si (3 cos(t1), 4, 3 sen(t1)) = (3 cos(t2), 4, 3
sen(t2))es necesariamente que cos( t1 ) = cos(t2), y sen( t1 ) = sen(t2) y de aqu es t1 = t2 a menos que difieran en 2, lo que slo sucede en los extremos del lazo.
Adems, para ningn valor de t el vector (t) = (3 sen(t), 0, 3 cos(t)) es nulo, pues los valores que anulan la funcin seno no anulan la funcin coseno.
iii
Es inmediato que esta parametrizacin es C
(), y que la normal slo se anula en el subconjunto HN ={(r, t)e : r = 0+, que es de contenido nulo en , de
modo que se trata de una parametrizacin regular en casi todas partes en . Por otra parte, la parametrizacin es inyectiva en casi todas partes (creo un
ejercicio muy instructivo la prueba de esta afirmacin, siempre que lo haga uno mismo).
iv
Las orientaciones se hallan concordadas como lo exige el teorema de Stokes, que exige preservar la orientacin del espacio introducida por la terna de referencia
en la que se calcula el rotor (en toda nuestra asignatura, mantenemos el sistema dextrgiro o ingls).
v
Puede verse en Santal, L. (1993). Vectores y tensores con sus aplicaciones (Dcimocuarta edicin ed.). Buenos Aires: Eudeba, Captulo V, Frmula Integrales,
23.3, p.178, teorema 4, con su demostracin constructiva de uno de tales campos. Tambin, en Apostol, T. (1980). Calculus volumen 2. Clculo con funciones de
varias variables y lgebra lineal, con aplicaciones a las ecuaciones diferenciales y a las probabilidades (Segunda edicin en castellano [Original: Calculus II,
Multi-variable calculus and linear algebra. with applications to differential equations and probabilty] ed., Vol. II). (F. Vlez Cantarell, Trad.) Barcelona: Revert,
Captulo 12, Integrales de superficie, 12.6 Reconstruccin de un campo vectorial a partir de su rotacional, Teorema 12.5, p.547; es recomendable leer el ejemplo
FIUBA. Anlisis Matemtico II. 61. 03 Algunas resoluciones del examen integrador del 20 de julio de 2010
[Fernando Acero, julio de 2010, o] p. 2 de 7
de tales campos esg(x, y, z) = (0, x
3
/3 + y
2
+ zx, x y + zy), y todo otro campog* esg* =g + V para algn campo
escalar . La integral curvilnea deg* es igual a la deg, puesto que la circulacin del V es nula sobre C (es un lazo!), de
modo que podemos calcular de modo directo
= 0
El clculo anterior prueba que, efectivamente, el flujo del campo vectorialg a travs de S es nulo. Resulta claro que el
resultado subsiste reemplazando la esfera del enunciado por cualquier superficie S frontera de un macizo , dado que el
argumento esencial depende del carcter solenoidal del campo que fluye a travs de esa superficie, y no de la forma de S.
Las identidades vectoriales sealadas en el pie de pgina anterior (21 identidades!) permiten reducir la complejidad de un
problema al mnimo.
Ejercicio 3. Seaf:
3
3
tal quef(x, y, z) = (x, y/2, z), y C la curva parametrizada por la funcin vectorial:
3
tal
que(t) = (e
t
, e
t/2
, e
t
). (a) Comprobar que C es la lnea de campo def que pasa por P0 = (1, 1, 1). (b) Hallar el flujo def a
travs del plano normal a C en P0 en el primer octante, orientado con el campo de normales alejndose del origen de
coordenadas.
(a) Siendo
() = (
,
1
2
/2
,
), mientras que
() = (
,
1
2
/2
,
(0) =
(
0
) = .1,
1
2
, 1/ = (0), lo que prueba lo pedido
ix
.
(b) El plano normal a C en P0 es normal al vector N = (2, 1, 2) y X est en tal plano sii (XP0)N = 0, esto es que su ecuacin
es 2x + y + 2z = 5. Luego la superficie S es S = {(x, y, z)e
3
: 2x + y + 2z = 5, x0, y0, z0}, y el clculo del flujo puede
hacerse mediante la parametrizacinT en el recinto {(u, v)e
2
: 0v5, 0u 1/2 (5 v)}, siendoT:
3
tal que
T(u, v) = (u, v, 5/2 u v/2 ), con N(u, v) =Tu(u, v) Tv(u, v) = (1, , 1), de modo que se tiene S =T(), con la
orientacin pedida. De esta manera, resulta que
(, )
(, )
= ,
2
,
5
2
/2 1,
1
2
, 1 =
1
4
(10 )
5
2
0
5
0
=
625
48
vi
La identidad vale con he
1
(
n
),fe
1
(
n
), para todo n natural (para n = 1 es la conocida expresin de la derivada de un producto, de la que esta identidad es una
generalizacin). La prueba es inmediata, llamando Di a la derivada respecto de la i-sima componente,(f )i al i-simo campo escalar def, se tiene la siguiente
cadena de igualdades (
= [
()(
] =
=1
()(
=1
()
+ (
=1
=1
, la primera igualdad por
definicin de divergencia, la segunda por aplicacin de la derivada del producto de funciones escalares, la tercera por asociatividad de la suma de funciones
escalares, la cuarta por definicin de gradiente, producto escalar y divergencia. En el excelente y sensato texto Marsden, J. E., & Tromba, A. J. (1991). Clculo
Vectorial (Cuarta edicin en espaol del original Vector Calculus, Third Edition. ed.). (M. Lpez Mateos, & S. Adarve, Trads.) Wilmington, Delaware, EUA.:
Addison-Wesley Iberoamericana, Captulo 3, Funciones con valores vectoriales, 3.5. Clculo vectorial diferencial, tabla 3.1 (algunas identidades comunes en el
anlisis vectorial), p. 231, se encuentra esta identidad (es la nmero 8) junto a otras veintiuna; la identidad 8 est probada para el especial caso de
3
en el ejemplo 1
de la pgina232. Finalmente, tambin puede verse en Rey Pastor, J., Pi Calleja, P., & Trejo, C. (1968). Anlisis Matemtico II. Clculo infinitesimal de varias
variables. Aplicaciones (Sptima edicin ed., Vol. II). Buenos Aires: Kapelusz, 91.6.b, expresin [91.36].
vii
Una parametrizacin C
() es
(, ) (2 () cos() , 2 () (), 2 ()), que orienta S y es regular
en todo , excepto los conjuntos H1 = {(, u)e : = 0}, H2 = {(, u)e : = t+, de contenido nulo en y cuyas imgenes a travs deT son,
respectivamente, el polo norte y sur de la esfera. En tales puntos (y slo en ellos)
(, )
() en el punto P = () sii
=
5
2
1
3
1
2
5
2
5
2
5 =
1
3
(
5
2
)
4
=
625
48
, igual que antes.
Ilustracin 4. Las lneas de campo y el punto P
o
= (1, 1, 1) y el plano S
Ejercicio 4. Sea C la curva frontera, orientada positivamente, del recinto D, descripto en coordenadas polares (r, u) por las
inecuaciones 0 < r < 2 (cos(u) + sen(u)). Definir una funcin escalar h: tal que la circulacin def sobre C, coincida
con el rea de D, siendof(x, y) Vh(x
2
y) + (x e
x
+ 2 x y, x h(x) e
y
cos(y
3
)).
La curva C es un circunferencia centrada en Po = (1, 1) que pasa por el origen de coordenadas, pues r = 2 (cos(u) + sen(u))
sii 0 r
2
= 2 r (cos(u) + sen(u)) sii x
2
+ y
2
= 2x + 2y, esto es (x1)
2
+ (y1)
2
= 2. De los dos sumandos def, slo nos
ocupamos del segundo, pues la circulacin de Vh(x
2
y) es claramente nula, para cualquier h diferenciable
x
. De esta manera,
la circulacin resulta de la contribucin del segundo miembro. Estando la curva C positivamente orientada
xi
, y suponiendo
que pudiramos hallar una h de clase C
1
en , es claro que el campo vectorialf tambin ser de clase C
1
en
2
, de modo
que podr aplicarse el teorema de Green y escribir entonces, llamando P(x, y) x e
x
+ 2 x y, Q(x, y) x h(x) e
y
cos(y
3
)
= [
(, )
(, )] = [
() + () 2]
Es suficiente
xii
que h sea una funcin derivable en que satisfaga la ecuacin diferencial xh(x) + h(x) 2x =1 para
cumplir con el enunciado. La ecuacin diferencial es ,x h(x)- = 1 + 2 x, una de cuyas soluciones (la nica definida en ) es
h: tal que h(x) = x + 1. Lo verificamos: xe: ,x h(x)- = ,x (x +1)- = ,x
2
+ x- = 2x + 1. Podemos entonces
responder que una funcin que satisface el problema
xiii
es h: tal que h(x) = x + 1.
Nuevamente, decimos que h es la nica solucin de la ecuacin diferencial que tambin satisface el enunciado, pero no
es la nica funcin que satisface el enunciado, desde que la ecuacin diferencial result una manera (y no la nica) de
asegurarse que la circulacin y el rea coincidan. Para mostrar que hay otra podramos buscar una funcin h1: tal
x
Se da por sabido que la circulacin de un campo de gradientes sobre un lazo se anula, cuya prueba es directa conociendo el resultado de la independencia del
modo en que se recorre el camino entre dos puntos.
xi
De su regularidad no dudamos, basta la parametrizacin simple clsica(t) = (1+ a cos(t), 1 + a sen(t)), con a = \2, te [0, 2t), que la provee de la orientacin
necesaria, con nunca nulo pues para todo t es |||| = a = 0. La Inyectividad es tambin directa (probarla).
xii
Y de ninguna manera necesario: es falso que debamos exigir esa condicin para lograr que la circulacin coincida con el rea de la regin. Existen infinitas
funciones h que no cumplen la condicin y sin embargo satisfacen el problema. La diferencia es que la funcin h que hallamos aqu, logra hacer que la circulacin
sobre cualquier lazo coincida con el rea de su interior.
xiii
Observamos que habamos supuesto a priori, para aplicar el teorema de Green, la suavidad de h de primer orden. A posteriori podemos decir que la hiptesis se
cumple con nuestra funcin h, dado que es C
().
FIUBA. Anlisis Matemtico II. 61. 03 Algunas resoluciones del examen integrador del 20 de julio de 2010
[Fernando Acero, julio de 2010, o] p. 5 de 7
que h1 (x) = k, con k a determinar de modo que ajuste el valor del rea (siendo un crculo de radio \2, es rea() = 2t),
esto es que debe cumplirse la siguiente condicin:
[
() +() 2]
= [ 2]
= 2
El clculo de la integral se simplifica si se observa que k 2x = k 2 2 (x 1), y dado que la integral de x 1 en es nula
(es el momento esttico respecto a un eje baricntrico), slo queda la integral de la constante k 2, que naturalmente es el
producto de k 2 por el rea de , resulatando entonces (k 2) 2t = 2t, de donde k = 3. Tenemos as otra funcin que
satisface lo pedido: h1: tal que h1 (x) = 3. De que hay infinitas es (casi) evidente
xiv
.
Ejercicio 5. Hallar los puntos de la superficie S = {(x, y, z)e
3
: = +1
} ms prximos al origen de coordenadas.
El dominio de la funcin z: Dz c
2
es Dz ={(x, y)e
2
: x y + 1 0}. Debemos investigar los extremos de la funcin
distancia d(X,0) = ||X||. Dado que los extremos de ||X|| y los de ||X||
2
son los mismos
xv
, trabajamos con la funcin de tres
variables (ligadas) f:
3
tal que f(X) = ||X||
2
= x
2
+ y
2
+ z
2
, sujeto a la restriccin XeS. Pero esto es lo mismo que que
examinar los extremos del campo escalar de dos variables (libres) g : Dz c
2
tal que g(x, y) = x
2
+ y
2
+ xy + 1. Para
resolver este problema estudiamos primero los extremos en la frontera de Dz, esto es en el conjunto de nivel 0 de la funcin
z, (z, 0) = cDz = {(x, y)e
2
: x y = 1}.
Es claro que cDz, ={(t, 1/t), t =0, te}, de modo que los extremos de g en cDz, son los extremos de la funcin de una
variable h(t) t
2
+ 1/t
2
, cuyo grfico se muestra en la ilustracin 4. El mnimo local de esta funcin escalar se alcanza en
los puntos cuyas abscisas satisfacen h(t) = 2t2/t
3
= 0, esto es t 1= 1 o t2 = 1 y su valor es 2. De esta manera, hemos
encontrado que el campo escalar g alcanza el mnimo 2 en los puntos A1 = (1, 1), A2 = (1, 1), lo que indica que,
regresando al problema original, entre los puntos de S en los que z = 0, los que se hallan ms prximos al origen son P1 =
(1, 1, 0) y P2 = (1, 1, 0), siendo tal distancia \2.
Ilustracin 5. El grfico de h: -{0} tal que h(t) = t
2
+ t
2
Ahora es necesario averiguar lo que sucede en el resto de los puntos de S, esto es buscamos los mnimos de g en el interior
de Dz, el conjunto abierto D = {(x, y)e
2
: x y + 1 > 0}, y resolviendo Vg(x, y) = (2x + y, 2y + x) = (0, 0) slo se tiene el
punto Po = (0, 0) con un Hessiano Hg(P0) = .
2 1
1 2
/ > 0, de modo que en el punto M0 = (0, 0, 1) e S se tiene un mnimo
de la distancia
xvi
.
xiv
Como ejercicio, comprobar que la funcin h2: tal que h1 (x) = 3x/2 tambin satisface el problema podra dar una expresin explcita que muestre que,
efectivamente, existen infinitas funciones que satisfacen el problema?
xv
por qu?
xvi
Aqu suponemos conocido el resultado de que un campo escalar g de dos variable de clase C
2
en un punto interior Po en el que se anula su gradiente tiene un
extremo (de hecho, estricto) en ese punto si su hessiano en ese punto H(Po) es positivo; el extremo es mnimo si D11g (P0) es negativa. Ver Rey Pastor, J., Pi Calleja,
P., & Trejo, C. (1968). Anlisis Matemtico II. Clculo infinitesimal de varias variables. Aplicaciones (Sptima edicin ed., Vol. II). Buenos Aires: Kapelusz,
-5 -4 -3 -2 -1 0 1 2 3 4 5
0
5
10
15
20
25
30
t, con -3 s t s 3
h
(
t
)
=
t
2
+
1
/
t
2
)
grf ico de f : R-{0} R tal que h(t) = t
2
+1/t
2
FIUBA. Anlisis Matemtico II. 61. 03 Algunas resoluciones del examen integrador del 20 de julio de 2010
[Fernando Acero, julio de 2010, o] p. 6 de 7
Finalmente, es preciso decidir cul de estos tres puntos hallados (P1, P2 y M0) es el que se halla ms prximo. Dado que
d(M0, 0) = 1 < d(P1, 0) = d(P2, 0) = \2,, finalmente concluimos que Mo es el (nico) punto m prximo al origen de
coordenadas, y su distancia a l es 1. Eso es lo que ilustra el siguiente grfico, donde se aprecian sobre la superficie los dos
puntos P1 y P2 (color blanco) y el punto M0 ms prximo al origen (color verde), que le da el mnimo a la funcin f.
Tal vez sirva mencionar algo respecto de la dimensin de los espacios sobre los que se trabaja, pues parece haber
resultado alguna confusin, a juzgar por algunas resoluciones. Es verdad que el ejercicio puede resolverse de un modo muy
sencillo, observando lo que sucede con los conjuntos de nivel de la funcin a extremar y observando la relacin que
guardan con la restriccin, ambos en el mismo espacio, naturalmente. El grfico siguiente muestra las esferas (conjuntos de
nivel, que van aumentando de tamao hasta contactar por primera vez a la superficie restriccin S en el punto Mo: all est
el mnimo, y asunto terminado.
70.2, Teorema 1, p.205, o tambin Apostol, T. (1980). Calculus volumen 2. Clculo con funciones de varias variables y lgebra lineal, con aplicaciones a las
ecuaciones diferenciales y a las probabilidades (Segunda edicin en castellano [Original: Calculus II, Multi-variable calculus and linear algebra. with applications
to differential equations and probabilty] ed., Vol. II). (F. Vlez Cantarell, Trad.) Barcelona: Revert, 9.12, Teorema 9.7, p.380
El grado de regularidad suficiente para la validez de la afirmacin es C
2
, sin embargo, en algunos textos se pide C
3
, lo que facilita la prueba; ver por ejemplo,
Curtis, P. (1979). Clculo de varias variables con lgebra lineal (Primera edicin. Primera reimpresin [Original 1970: Multivariate Calculus with Linear Algebra]
ed.). (M. C. Sangines de Salinas, & O. Mourut de Montpellier (revisora), Trads.) Mxico D. F.: Limusa., Teorema 7.7, p. 329; Marsden, J. E., & Tromba, A. J.
(1991). Clculo Vectorial (Cuarta edicin en espaol del original Vector Calculus, Third Edition. ed.). (M. Lpez Mateos, & S. Adarve, Trads.) Wilmington,
Delaware, EUA.: Addison-Wesley Iberoamericana, 4.2, Teorema 4, p.253. El teorema para un campo de dos variables, con regularidad C
2
, se encuentra en un
artculo de Lagrange de 1759, titulado Recherches sur la mthode de maximis et minimis, Cf. Hairer, E., & Wanner, G. (1996). Analysis by its History (Primera
edicin ed.). New York: Spinger-Verlag.Chapter I, Higher Derivatives and Taylor Series, Theorem 4.7, p. 324. La generalizacin a varias variables introduce el
actual hessiano en el artculo de Otto Hesse de 1857: Ueber die Criterien des Maximums und Minimus der einfachen Integrale.
FIUBA. Anlisis Matemtico II. 61. 03 Algunas resoluciones del examen integrador del 20 de julio de 2010
[Fernando Acero, julio de 2010, o] p. 7 de 7
En este documento encuentran referencias de los siguientes textos, de los que sera deseable que cada uno de los alumnos tuviese,
ciertamente, al menos uno. En las clases hemos hecho continua referencia al texto de Apostol y al de Marsden-Tromba.
Apostol, T. (1980). Calculus volumen 2. Clculo con funciones de varias variables y lgebra lineal, con aplicaciones a las
ecuaciones diferenciales y a las probabilidades (Segunda edicin en castellano [Original: Calculus II, Multi-variable calculus and
linear algebra. with applications to differential equations and probabilty] ed., Vol. II). (F. Vlez Cantarell, Trad.) Barcelona:
Revert.
Curtis, P. (1979). Clculo de varias variables con lgebra lineal (Primera edicin. Primera reimpresin [Original 1970:
Multivariate Calculus with Linear Algebra] ed.). (M. C. Sangines de Salinas, & O. Mourut de Montppellier (revisora), Trads.)
Mxico D. F.: Limusa.
Hairer, E., & Wanner, G. (1996). Analysis by its History (Primera edicin ed.). New York: Spinger-Verlag.
Lang, S. (1990). Introduccin al Anlisis Matemtico (Primera edicin. [Original 1968, Undergrauate Analysis] ed.). (M.
Lpez Mateos, & M. Muoz Mella, Trads.) Wimington, Delaware.: Addison Wesley Iberoamericana.
Marsden, J. E., & Tromba, A. J. (1991). Clculo Vectorial (Cuarta edicin en espaol del original Vector Calculus, Third
Edition. ed.). (M. Lpez Mateos, & S. Adarve, Trads.) Wilmington, Delaware, EUA.: Addison-Wesley Iberoamericana.
Rey Pastor, J., Pi Calleja, P., & Trejo, C. (1968). Anlisis Matemtico II. Clculo infinitesimal de varias variables.
Aplicaciones (Sptima edicin ed., Vol. II). Buenos Aires: Kapelusz.
Santal, L. (1993). Vectores y tensores con sus aplicaciones (Dcimocuarta edicin ed.). Buenos Aires: Eudeba.