Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1 Certamen de MAT023
26 de Septiembre de 2012

Apellido Paterno

Apellido Materno

Nombres

Rol

Paralelo

1. Considere f : R2 R dada por

x x2 0 +y

si x2 + y > 0 si x2 + y 0

f (x, y ) =

a) Determine y bosqueje los conjuntos de nivel de f . b) Determine los puntos (x, y ) R2 donde f es continua.
Solucin:

a) Por denicin el conjunto de nivel est dado por

C (f ) = {(x, y ) Dom(f ) : f (x, y ) = }

i) Si = 0 el conjunto de nivel consta de los puntos (x, y ) R2 tales que x2 + y 0 o bien y x2 + y > 0. Es decir,
C0 (f ) = {(x, y ) R2 : x2 + y 0} {(x, y ) R2 : x = 0, y > 0}

x x2 + y

=0

ii) Si = 0 entonces f (x, y ) = Elevando al cuadrado:

x x2 x2 +y

= y x2 + y > 0 (notar que x y tienen el mismo signo).

x2 1 2 2 = 2 y = x +y 2

Luego, los (x, y ) C (f ) estn en una semiparbola (dependiendo del signo de ) ubicada en el semiplano inferior si 2 > 1, en el semiplano superior si 2 < 1 y en una semirecta de y = 0 si 2 = 1.

MAT023 Coordinaci Segundo Semestre 2012

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1 Certamen de MAT023
26 de Septiembre de 2012

b) Sea (x0 , y0 ) R2 . Si x2 0 + y0 > 0 entonces f es una divisin de funciones continuas en una vecindad de (x0 , y0 ) y luego f es continua en (x0 , y0 ). De igual modo, si x2 0 + y0 < 0 entonces f es constante en una vecindad de (x0 , y0 ) y luego f es continua en (x0 , y0 ). Resta analizar el caso en que x2 0 + y0 = 0. Si (x0 , y0 ) = (0, 0) entonces f (0, 0) = 0, pero
x x = f (x, 0) = = 2 |x| x 1 1 x>0 x<0

Luego,
1 = lim+ f (x, 0) = 1 = lim f (x, 0)
x 0 x0

Por lo que f no es continua en (0, 0). Si (x0 , y0 ) = (0, 0) entonces se puede apreciar desde los conjuntos de nivel que f (x0 , y ) = 0 para todo yy0
f (x0 , y ) = x0 x2 0+y

cuando y y0 . Luego, f no es continua en (x0 , y0 ), de donde se concluye que f es continua en todos los 2 puntos (x0 , y0 ) R2 tales que y0 + x2 0 = 0 (es discontinua slo en la parbola y = x ).

MAT023 Coordinaci Segundo Semestre 2012

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1 Certamen de MAT023
26 de Septiembre de 2012

2.

a) Determine todos los puntos en la supercie S = {(x, y, z ) R3 : 2z = x2 + 2xy + y 2 }, R, para los cuales el plano tangente es paralelo al plano tangente a la grca de la funcin g (x, y ) en el punto g g (a, b, c) si se sabe que x (a, b) = 1 y y (a, b) = 2. b) Considere u : R2 R una funcin de clase C 2 que satisface la ecuacin diferencial parcial
u = f (x, y )

donde f (x, y ) > 0 para todo (x, y ) R2 es una funcin de clase C 1 . Verique que u(x, y ) no es constante y no posee minimos locales.
Observacin:

u=

2u 2x

2u 2y

es el

Laplaciano

de u.

Solucin:

a) Dos planos son paralelos si y slo si sus vectores normales son paralelos. El vector normal al plano tangente a la supercie S en (x0 , y0 , z0 ) es v = (2x0 +2y0 , 2x0 +2y0 , 2). Mientras que el vector normal g g al plano tangente a la grca de la funcin g (x, y ) en el punto (a, b, c) es w = ( x (a, b), y (a, b), 1) = (1, 2, 1). Luego, los planos son paralelos si y slo si v y w son paralelos, lo cual equivale a decir v w = 0, es decir,
(4 2x0 2y0 , 2 + 2x0 + 2y0 , 2x0 + 4y0 2y0 ) = (0, 0, 0)

Dicho sistema tiene solucin si y slo si = 1 y en tal caso se tiene

x0 = 1 2 , y0 = , z0 = 1 1 2 2

b) Si u fuese constante entonces se tendra que u = 0 directamente, una contradiccin. De igual modo, si u poseyera un mnimo local en (x0 , y0 ) R2 entonces al analizar la matriz Hessiana de u en el punto (la cual es simtrica pues u C 2 (R2 ))
H (u) = uxx (x0 , y0 ) uxy (x0 , y0 ) uxy (x0 , y0 ) uyy (x0 , y0 )

se tendr que 1 = uxx > 0 (primer subdeterminante) y 2 = uxx uyy u2 xy > 0 (segundo subdeterminante). Sin embargo, al despejar uyy en la ecuacin uxx uyy = f , obtenemos por otra parte que
2 2 2 = uxx (uxx f ) u2 xy = f uxx uxx uxy < 0

una contradiccin.

MAT023 Coordinaci Segundo Semestre 2012

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1 Certamen de MAT023
26 de Septiembre de 2012

3. Una partcula de masa constante M se ubica en un riel determinado por la curva interseccin de las supercies x2 + y 2 = 1 y 2x + z = 1, y permanece esttica en su posicin inicial. En cierto momento se hace rotar dicho riel en torno a un eje de giro perpendicular al plano xy y que pasa por el punto (2, 0, 0). Si se sabe que el momento de inercia de la partcula est dado por I = M R2 , donde R representa la distancia de la partcula al eje , determine la ubicacin donde debe ubicarse inicialmente la partcula para maximizar el momento de inercia. 2 Solucin: Dado que la masa es constante basta maximizar R para maximiar el momento de inercia. Dado que el eje de giro es perpendicular al plano xy y pasa por el punto (2, 0, 0) la distancia de un punto (x, y, z ) a dicho eje esta dada por R(x, y, z ) = (x 2)2 + y 2 . As, dado que la partcula est restringida a posicionarse inicialmente en la interseccin del cilindro x2 + y 2 = 1 y el plano 2x + z = 1 se obtiene que el problema a analizar es
max s.a. (P ) (x 2)2 + y 2 x2 + y 2 = 1 2x + z = 1

Luego, si denimos f (x, y, z ) = (x 2)2 + y 2 , g (x, y, z ) = x2 + y 2 1, h(x, y, z ) = 2x + z 1, se tiene del teorema de los multiplicadores de Lagrange que
f = g + h det[f g h] = 0,

es decir,

2(x 2) 2y 0

2x 2 2y 0 0 1

= 4y

x2 1 0

x 1 1 0 0 1

= 8y = 0

De las condiciones g = 0 y h = 0 se obtienen dos puntos crticos: (1, 0, 1) y (1, 0, 3). Al evaluar f en dichos puntos se concluye que el mayor momento de inercia se obtiene cuando la partcula se posiciona inicialmente en el punto (1, 0, 3).

MAT023 Coordinaci Segundo Semestre 2012

Universidad Tcnica Federico Santa Mara

Departamento de Matemtica

1 Certamen de MAT023
26 de Septiembre de 2012

4. La supercie del Toro est denida parametricamente por las ecuaciones

x = (a + b cos ) cos y = (a + b cos ) sen z = b sen

con , [0, 2 ] y a > b > 0 constantes. (a) Determine si existe una vecindad de (x, y, z ) = (a, 0, b), en la supercie del Toro, en la que se puede despejar z = f (x, y ) como funcin de clase C 1 en trminos de x e y . (b) Calcular f (x, y ) en trminos de y
Solucin:

a) Despejar z en trminos de x e y , es equivalente a despejar de las dos primeras ecuaciones en trminos de x e y , para esto se aplica el teorema de la funcin inversa a la funcin F : R2 R2 , denida por
F (, ) = ((a + b cos ) cos , (a + b cos ) sen ) = (x, y )

Si (x, y, z ) = (a, 0, b) = ((a + b cos ) cos , (a + b cos ) sen , b sen ) (, ) = (0, /2) F satisface las hiptesis del teorema de la funcin inversa porque las funciones componentes de F son funciones de clase C 1 , por otra parte, el Jacobiano de F en el punto (, ) es
JF (, ) = (a + b cos()) sin() b cos() sin() cos()(a + b cos()) b sin() sin() JF (0, /2) = 0 a b 0

Como Det(JF (0, /2)) = ab = 0, entonces por el teorema de la funcin inversa, existen vecindades U de (, ) = (0, /2) en R2 y W de (x, y ) = (a, 0) en R2 , tal que F : U W es biyeccin, con inversa de clase C 1 (, ) = F 1 (x, y ) = (g (x, y ), f (x, y ), para todo (x, y ) W . Por lo tanto
z = b sen = b sen(f (x, y )

b) La matriz Jacobiana de JF 1 (x, y ), est dada por

JF 1 (x, y ) =
) a+sin( b cos()

cos()bcsc()

cos( ) a+b cos() csc()bsin()

x x

y y

Entonces el gradiente de z = f (x, y ) es

f (x, y ) = (zx , zy ) = (b cos x , b cos y ) = = cot (cos , sen ) csc() sin() cos() csc() b cos , b cos b b

MAT023 Coordinaci Segundo Semestre 2012