ANLISIS MATEMTICO II

EXMEN FINAL 13/12/11

1) Sea : f R
2
R la funcin y x y x f / ) , ( = si , 0 = y 0 ) , ( = y x f si . 0 = y
(i) Probar que . 0 ) 0 , 0 ( ) 0 , 0 ( =
c
c
=
c
c
y
f
x
f

(ii) Probar que ( ) 0 , 0
u
f
c
c
no existe si ) , ( b a u = es un vector unitario tal que . 0 = ab
(iii) f no es continua en ( ). 0 , 0
2) Determine los extremos de una funcin cuadrtica real ( )
2 2
2 , cy bxy ax y x f + + =
sobre la circunferencia . 1
2 2
= + y x
3) Sea . 2 1 , ln ) ( s s = x x x f Dado e n N recuerde que el resto de Taylor de f en un
punto | | 2 , 1 e a de orden n define la funcin
( )( )
( )
( )
( )
( ) ( ) , 1 1
!
,
1
0
1
1
dt tx a t f t
n
a x
x a f R
n n
n
n
}
+

=
+
+

donde . 2 1 s s x Estime e n de manera que ( )( )
6
10 1 ,

s x f R
n
para todo | | 2 , 1 e x .
SOLUCIONES Y/O SUGERENCIAS
1) (i) Escribimos
, 0
0 0
lim 0
) 0 , 0 ( ) 0 , (
lim ) 0 , 0 (
0 0
=

= =

=
c
c

t t
f t f
x
f
t t

. 0
0 / 0
lim
) 0 , 0 ( ) , 0 (
lim ) 0 , 0 (
0 0
=

=
c
c

t
t
t
f t f
y
f
t t

(ii) Sea ) , ( b a u = un vector unitario cuyas coordenadas son no nulas. Basta notar ahora,
p. ej. considerando lmites laterales, la no existencia de . lim
1
0

t
t
Como
t b
a
t
f tb ta f
t t
1
lim
) 0 , 0 ( ) , (
lim
0 0
=

se concluye que
u
f
c
c
no est definida en ( ). 0 , 0
2) Aplicaremos el mtodo de multiplicadores de Lagrange. Para ello, consideremos la
funcin lagrangiana
( ) ( ), 1 2 , ,
2 2 2 2
+ + + = y x cy bxy ax y x L
con e , , y x . La relacin ( ) ) 0 , 0 , 0 ( = L grad equivale al sistema de ecuaciones
. 1 , 0 , 0
2 2
= + = + = + y x y cy bx x by ax
En particular, si 0 = b tenemos , ) , (
2 2
cy ax y x f + = de modo que sobre la circunferen-
cia unitaria podemos escribir
ANLISIS MATEMTICO II
EXMEN FINAL 13/12/11
( ) ( ) . 1 ) , (
2 2 2
c x c a x c ax y x f + = + =
Basta hacer un anlisis de extremos de la funcin ( ) , ) (
2
c x c a x g + = con . 1 s x
Evidentemente, dicha funcin es constante si . c a = En ese caso, ( ) c a y x f = = , sobre
la circunferencia unitaria. Si , c a = el carcter de g va a depender segn sea c a > o
. c a < Precisamente, si c a > entonces ( ) a x g c s s para todo | | 1 , 1 e x . Adems
c g = ) 0 ( y ( ) , 1 a g = de modo que ( ) ( ) a f y x f c f = s s = 0 , 1 ) , ( 1 , 0 si ( ) y x, es
unitario. Anlogamente, si a c > entonces c x g a s s ) ( si | | 1 , 1 e x y ahora tenemos
( ) ( ) c f y x f a f = s s = 1 , 0 ) , ( 0 , 1 cuando ( ) y x, es unitario. Supondremos ahora que
, 0 = b de modo que ( ) b x a y / = y obtenemos
( ) ( ) . 0 x
b
a
c b y c bx
(

+ = + =


No podra ser 0 = x , sino tambin 0 = y y ( ) 0 , 0 no es punto de la circunferencia
unitaria. As, ( )( ) a c b + =
2
0 , o bien ( ) . 0
2 2
= + + b ac c a Luego
( ) ( ) | | ( ) | |
,
2
4
2
4
2 / 1
2 2
2 / 1
2 2
b c a c a b ac c a c a + +
=
+ +
=
i.e.
( ) | |
2
4
2 / 1
2 2
b c a c a + +
= =

o
( ) | |
.
2
4
2 / 1
2 2
b c a c a + + +
= =
+

Tendremos entonces ( )
( ) | |
,
2
4
2 / 1
2 2
b
x b c a a c
b
x
a y y


+
= = = i.e.
( )
( ) | |

|
|
.
|

\
|
+
= x
b
b c a a c
y x
2
4
, 1 ,
2 / 1
2 2

y la condicin ( )
2
, 1

= y x impone que
( ) | |
.
2
4
, 1 / 1
2
2 / 1
2 2
|
|
.
|

\
|
+
=

b
b c a a c
x As

da lugar a dos puntos crticos sobre la circunferencia unitaria, y consideraciones

anlogas se aplican a .
+
Si hacemos
( ) | | ( ) | |
,
2
4
, 1 / 1 ,
2
4
, 1
2
2 / 1
2 2
2 / 1
2 2
|
|
.
|

\
|
+
=
|
|
.
|

\
|
+
=

b
b c a a c
c
b
b c a a c
v
vemos que

= v c y x ) , ( y . ) , (
+ + + +
= v c y x Notar que ( ) ( ) y x f y x f = , , para
todo ( )e y x, ,
2
i.e. f es una funcin par. En consecuencia, ( ) ( ).

= v c f v c f
ANLISIS MATEMTICO II
EXMEN FINAL 13/12/11
Anlogamente, ( ) ( ).
+ + + +
= v c f v c f Como la circunferencia es compacta (i.e.
cerrada y acotada) y f es continua, seguramente f alcanza sobre la circunferencia
valores mximos y mnimos. En definitiva, los extremos de la funcin quedan
determinados. Cabe sealar, no obstante, la dificultad que supone clasificarlos, i.e.
decidir si ( ) ( )
+ +
> v c f v c f o si ( ) ( )
+ +
> v c f v c f .
3) Notar que
( )
( ) ( ) ( )
k k k
x k x f

= ! 1 1
1
para cada e k . Si e n N y 2 1 s s x tenemos
( )( )
( )
( )
( )
( ) ( )
( )
( )
( )
( )
.
1
1
1
1
) 1 1 (
1
1
1 1
!
1
1 ,
1
0
1
1
0
1
1
1
0
1
1
+
s
(

s
+

=
+

s
=
=
+
+
+
+
+
}
}
n
n
t
dt
x t
t
x
dt tx a t f t
n
x
x f R
t
t
n
n
n
n
n n
n
n

Bastar entonces que . 1 10
6
> n