Funciones implcitas

Sea l C R" una regin con frontera y sea / : S! > f(Q) un difeomorfismo global , esto es, una funcin diferenciable, invertible con una inversa diferenciable g : f(Q) 2. El siguiente resultado cuya prueba se omite (pues requiere de las herramientas de la teora de la Topologa Algebraica) nos indica que los puntos interiores de Q bajo la aplicacin de / son llevados al interior de / ( l ) , y los puntos de la frontera de l son llevados en la frontera de f(l). (Vase la figura 10.1). TEOREMA 10.1 (de la invarianza del dominio) Sean fi C Rn una regin con frontera dl y sea f : l -+ f(l) C R n un difeomorfismo global. Entonces f(Q) es una regin con frontera en R n . Los puntos interiores de son llevados bajo f en puntos interiores de f(tt) y los puntos frontera en dil son llevados bajo f en la frontera df(Q).

<l Si se considera la regin circular con frontera conformada por el disco unitario de radio 1, se tienen que bajo la funcin / la regin f] es mapeado en la regin elipsoidal con frontera

De las ecuaciones, u = ax v = by

ww

w.

/(#, y) = (ax, by) = (i, v),

at

EJEMPLO. Sea la funcin R 2 -> R2 dada por con a, b > 0.

em

at

ic

a1

.c om

se obtienen las coordenadas inversas, x= a

que dan una funcin inversa '.

I" dada por,

Claramente la funcin / : l f(l) es difeomorfismo que lleva el interior del disco Q en el interior del elipsoidal / ( ) , llevando la frontera del disco x2 -f y2 1 en la elipse ^r + p- = 1, cumplindose el Teorema de la invarianza del dominio, (vase la figura 10.1).

f(d)

Figura 10.1: Teorema de invarianza del dominio. EJEMPLO. Consideremos la transformacin E 2 R2 dada por >

donde un punto p = (r, tp) toma unidades en nmeros positivos para la primer coordenada y en radianes para la segunda. < Sea Vi la regin con frontera en el plano E 2 dada por el cuadrado = {(r, tp)\ 0 < r < 1, 0 < if < TT/4}

entonces, de la definicin d de la funcin / es claro que en coordenadas x, y del codominio, las relaciones se escriben x = r eos <? , y = r sen <p

que es el cambio de coordenadas cartesiano por coordenadas polares. Una simple inspeccin nos muestra que la regin f(l) es la cuarta parte del crculo unitario en el primer cuadrante, con la frontera incluida. Aqu nuevamente los puntos interiores del cuadrado } son llevados en los interiores de f(VL) bajo la funcin / , y la frontera de en la frontera de

ww

w.

f(r,ip) = (rcos<?, rsen<?)

at

em

at

ic

a1

.c om

, cumplindose totalmente el Teorema de invarianza de dominio. Ahora damos paso a la demostracin de un resultado que es equivalente al Teorema de la funcin inversa, y que en virtud de que ya se conoce ste, se presenta como una de sus consecuencias: El Teorema de la funcin implcita. Iniciamos la discusin con un ejemplo. EJEMPLO. Sea la funcin en dos variables f(x,y)=x2 + y2

< Si c G M+ U {0} es un valor arbitrario, se tiene que la curva de nivel f~ (c) est dada por la ecuacin x2 -\-y2 c. Sea (x, y) / - 1 ( c ) , entonces al despejar la variable y se tiene que y \/c x2.
l

ww

w.

o equivalentemente,
V

at

2x _ x _ -x

em

Observamos que la derivada implcita y' se calcula mediante la derivacin de la igualdad x2 -\- y2 c, es decir, 2x + 2yy' = 0

at

la funcin y h(x) se llama una funcin implcita para la funcin / .

ic
_

a1
-x

~~2y~ ~ y ~ h(x) ~ 7 ^ ~ P ~

la cual tiene sentido para y/c < x < y/c. Por ejemplo si x 0, entonces y = y/c de donde en el punto (0, y/c) se tendra una pendiente ^'(O) = 0. O Enunciamos y demostramos el Teorema de la funcin implicita para dos variables. La generalizacin se muestra apenas en los ejemplos subsecuentes. TEOREMA 10.2 (de la Funcin Implcita). Sea f : C R 2 -> R una funcin de clase Cr y sea p = (a,b) l tal que f(a,b) = c y tal que jff-(a,b) / 0. Entonces existe una funcin y = h(x) de clase Cr definida en una vecindad del punto x a enR, tal que h(a) = b y todos los puntos

.c om

Si y es una coordenada positiva, entonces necesariamente y = y/c x2. De esta manera la variable y se puede escribir localmente como una funcin y = h(x) en los puntos (x,y) G f~l(c), es decir para tales puntos,

de la grfica de h estn contenidos en el conjunto de nivel f~1(c)J es decir, s el punto (x,y) = (x, h(x)) est en la grfica de h en el plano, entonces, c= f{x,y)=f(x,h(x)) Se tiene

<1 Sea la funcin definida por 0(x, y) (x, f(x,y)). 1

fx

0
fy

donde fd. es la derivada parcial de / en la variable x, y fy la derivada parcial de / respecto a la variable y. De esto, el Jacobiano es

Sean las coordenadas (x, z) en el codominio de y pngase

Si adems se denotan z f{x,y)

em

at
c.

i){x,z)

y y g(x,z),

ic

(x,g(x,z))

a1

(x, y) = ip o 0(x, y) = v((p{x, y)) = ^ ( x , / ( x , y))

Definamos entonces para c = /(a, 6), la funcin suave de clase C'\ en la variable x en una vecindad de x = a, dada por h(x) = g(x,c) se tiene entonces 0(x, h(x)) = O(x, g{x, c)) = 4>(w(x. c)) = (x. c) y por otro lado, para x en la vecindad de x = a, 0(x,/i(x)) = (x./(x./i(x))) de donde necesariamente f(x,h(x))

Ya que c /(a, b) y /(a, /i(a)) = c, se tiene que h(a) = b lo que termina la prueba del Teorema (vase el la figura 10.2). D >

ww

w.

(x, z) = o i/;(x, z) = {i>{x, z)) = (P(x, g(x, z))

at

.c om

y por el Teorema de la funcin inversa, existen, una vecindad de /; en l y una vecindad de q = f(p) donde est definida para la funcin dada 0, una funcin inversa local ip de clase Cr.

entonces

bll

x,h(x))

-C

Figura 10.2: Teorema de la funcin implcita. Observemos que para este caso, s sobre la curva de nivel f(x, y) = c la variable y se puede escribir implcitamente por la funcin y h(x) en la vecindad del punto (x = a,y = 6), entonces al derivar parcialmente la ecuacin de la curva de nivel / ( # , y) = c respecto a la variable x se obtiene la derivada implcita ordinaria y' = hf(x) respecto a x.

dx dx

em
= 0.
V

que se puede escribir fx + fyyf De esta manera,

ww

w.

o equivalentemente, sabiendo que y = h(x)

at

sabiendo que fy = -gf- ^ 0. D > E J E M P L O . Sea la funcin en dos variables dada por, f(x,y) = xcosxy < Al calcular la derivada parcial respecto a la variable y se tiene fy(x,y) = -x2senxy

at

< Si f(x,y)

= c, entonces, por la regla de la cadena,

dy dx

, = -/* fy

ic

a1

.c om

y particularmente en el punto p = (1,TT/2), obtenemos 7,(1,77/2) = 1 / 0 De aqu, por el Teorema de la funcin implcita, existe una funcin y h(x) en la cercana de x = 1, tal que h(l) = TT/2 y tal que la derivada de tal funcin en x = 1 se calcula , -fx cosxy - xysenxy y (i) - - f - l ( W 2 ) l T T =

Procedamos a calcular en este caso la funcin implcita resolviendo el caso general para las curvas de nivel. Si c E IR, entonces, f(x,y) xcosxy c implica que, para x ^ 0, se tiene

cuya derivada es, y' = h'{x) = ^

De esta manera, y = h(l) = TT/2 y y' = ti(l) = TT/2 lo que comprueba nuestros clculos obtenidos. D > El Teorema de la funcin implcita para el caso de funciones de tres variables se establece de la siguiente manera, y omitimos su prueba que procede de igual forma que para el caso de dos variables. TEOREMA 10.3 (Funcin implcita). Sea f : C E 3 -> IR una funcin de clase Cr y sea p (a, 6, c) un punto arbitrario de Q tal que f(a,b,c) = d y -gL(a,b,c) y: 0. Entonces en una vecindad del punto (a, b) en el plano, existe una funcin z h(x, y) de clase Cr tal que la grfica

ww

w.

y = h(x) = - arceos (0) = x x

at

As, en x = 1, y TT/2 se cumple c = /(1,TT/2) = 0, de donde, la constante c = 0 y la funcin particular buscada es

em

s y arceos I \X / x \x J

at

ic

o equivalentemente, al despejar la variable y obtenemos

a1

c eos xy = x

.c om

est contenida en la stiperficie de nivel / ( # , y, z) = d, esto es, para puntos (.r, y) cercanos del punto (a, b) se tiene que f{(x,y), h(x,y)) = d y h(a,b) = c.

Ms an se cumplen las igualdades para las parciales,

El siguiente ejemplo muestra que en general no se puede calcular explcitamente la funcin /i, sino que apenas se demuestra su existencia. E J E M P L O . Sea la funcin f(x, y,z) = zs - z - xy sen z

/(a;,2/,*)=/(0,0,0)=0

y por el Teorema de la funcin implcita 10.3, existe en una vecindad del punto (0,0) en el plano, y una funcin z = h(x,y) de clase Cr tal que, /i(0,0) = 0 y

ww

w.

^-(0,0,0) =3z2-l-

at

em

<\ Calculamos la derivada parcial de / respecto a z en el punto (0, 0, 0), obteniendo *2/eos *|(o,o,o) = - 1 ^ 0

/(x,2/,/ (x,t / ))

Por otro lado, las derivadas parciales de h en el punto (0, 0) se calculan ^(0,0) = ^ ( 0 , 0 . 0 ) = q 9 ~ySen* (0,0,0) = 0 dx fz 3z2 - 1 - xy eos z

(0,0) = ^ ( 0 , 0 , 0 ) = r^^

at

ic

a1

Mostrar que en una vecindad del punto (0, 0, 0) la variable z se puede poner en funcin de las otras dos variables sobre la superficie de nivel

.c om

(0,0,0) = 0

ay fz 3z2 - 1 - xy eos z Al tratar de proceder a buscar la funcin z = h(x,y) a partir de la superficie de nivel z - z - xy sen z 0, podemos observar que no es simple despejar a z en trminos de las otras variables (x,y), lo que nos dice que, en general, la funcin h mencionada en el Teorema 10.3 no es fcil de encontrar. D >

Ejercicios.
1. Mostrar que /(x, y) c define una funcin implcita y h(x) alrededor del punto dado p (a, b). Calcular y' = h'(a). a. b. c. d. f(x,y)=ycosxy en p = (TT/2, 1) f{x,y) = xey -y+ 4 en p = ( - 2 , l ) / ( x , y ) = xy + y4 + x 4 en p = ( l , - l ) /0r,2/) = a;2 + 2a;2/ + 2/2 en p = (1,1)

2. Mostrar que la funcin f(x,y,z) c define una funcin implcita z = h(x,y) en una vecindad del punto dado p = (a,b,c). Calcular ~^(a, 6) y a. / ( T , y, 2) = 2 2 3 -f xy sen 2 en p = (0, 0, TT/2) b. / ( x , y, 2) = x 2 + y2 -f z 2 + 2xyz en p = (1,1,1) c. f(x, y, z) = x -y + 2z - exyz en p = (0,1,1)

ww

w.

at

em

at

ic

a1

.c om