31.08.2013 Views

2º Regla de la cadena y derivación implícita

2º Regla de la cadena y derivación implícita

2º Regla de la cadena y derivación implícita

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Capítulo 2<br />

<strong>Reg<strong>la</strong></strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na y <strong>de</strong>rivación<br />

<strong>implícita</strong><br />

En <strong>la</strong>s aplicaciones nos encontramos a menudo con <strong>la</strong> necesidad <strong>de</strong> usar<br />

funciones vectoriales <strong>de</strong> varias variables: una función vectorial <strong>de</strong> una variable<br />

<strong>de</strong>fine una curva, una función vectorial <strong>de</strong> tres componentes y dos variables<br />

<strong>de</strong>fine una superficie, una distribución <strong>de</strong> cargas eléctricas crea un campo<br />

eléctrico que se <strong>de</strong>scribe por medio <strong>de</strong> una función vectorial <strong>de</strong> tres com-<br />

ponentes y tres variables, etc. En este tema establecemos los conceptos <strong>de</strong><br />

función vectorial diferenciable y matriz jacobiana. El resultado fundamental<br />

es <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na que nos muestra cómo se obtienen <strong>la</strong>s <strong>de</strong>rivadas par-<br />

ciales <strong>de</strong> una función compuesta f ◦ g en términos <strong>de</strong> <strong>la</strong>s <strong>de</strong>rivadas parciales<br />

<strong>de</strong> f y g. El tema termina con diversas aplicaciones <strong>de</strong> <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na.<br />

2.1. Funciones vectoriales diferenciables.<br />

Sean f1, .., fm funciones <strong>de</strong>finidas en un subconjunto D <strong>de</strong> R n . La función<br />

<strong>de</strong>finida por<br />

x = (x1, .., xn) ∈ D → (f1(x), .., fm(x)) ∈ R m ,<br />

42


se dirá que es una función vectorial <strong>de</strong> n variables y m componentes y suele<br />

<strong>de</strong>notarse por f = (f1, .., fm). D es un subconjunto <strong>de</strong> R n que recibe el nombre<br />

<strong>de</strong> dominio <strong>de</strong> f.<br />

Ejemplo 2.1.1. El campo gravitatorio creado por una masa puntual m situ-<br />

ada en el origen viene dado por<br />

f(x, y, z) =<br />

<strong>de</strong>finido para (x, y, z) = (0, 0, 0).<br />

Gm<br />

(x2 + y2 + z2 (−x, −y, −z),<br />

) 3/2<br />

En este caso <strong>la</strong>s funciones componentes son<br />

f1(x, y, z) =<br />

f2(x, y, z) =<br />

f3(x, y, z) =<br />

−Gmx<br />

(x2 + y2 + z2 ,<br />

) 3/2<br />

−Gmy<br />

(x2 + y2 + z2 ,<br />

) 3/2<br />

−Gmz<br />

(x2 + y2 + z2 .<br />

) 3/2<br />

Diremos que una función vectorial f = (f1, .., fm) es diferenciable en un<br />

punto x0 cuando lo son todas sus componentes. Si f es diferenciable en x0,<br />

<strong>la</strong> matriz m × n cuyas fi<strong>la</strong>s son los gradientes <strong>de</strong> cada componente recibe el<br />

nombre <strong>de</strong> matriz jacobiana <strong>de</strong> f en el punto x0 y se <strong>de</strong>nota por f ′ (x0). Para<br />

facilitar <strong>la</strong> comprensión, vamos a <strong>de</strong>sarrol<strong>la</strong>r lo que resta <strong>de</strong> este apartado<br />

para el caso <strong>de</strong> funciones <strong>de</strong> dos variables y dos componentes.<br />

Si f = (f1, f2) es diferenciable en x0 = (x0, y0), sus dos componentes son<br />

diferenciables en dicho punto y, por tanto, existen los gradientes ∇fi(x0, y0)<br />

(i = 1, 2). La matriz jacobiana <strong>de</strong> f en el punto (x0, y0) tiene <strong>la</strong> forma<br />

f ′ <br />

∂f1<br />

∂x (x0, y0) =<br />

(x0,<br />

∂f1 y0) ∂y (x0,<br />

<br />

y0)<br />

∂f2<br />

∂x (x0, y0)<br />

∂f2<br />

∂y (x0, y0)<br />

Si necesitamos un valor aproximado <strong>de</strong> <strong>la</strong> diferencia<br />

f(x0 + ∆x, y0 + ∆y) − f(x0, y0),<br />

43


para valores pequeños <strong>de</strong> ∆x e ∆y, basta recordar que cada componente<br />

fi(x0 + ∆x, y0 + ∆y) − fi(x0, y0)<br />

<strong>de</strong> <strong>la</strong> diferencia vectorial anterior pue<strong>de</strong> aproximarse por<br />

dfi(x0, y0; ∆x, ∆y) = ∇fi(x0, y0) · (∆x, ∆y),<br />

puesto que cada fi es diferenciable en (x0, y0).<br />

Si <strong>de</strong>finimos <strong>la</strong> diferencial <strong>de</strong> <strong>la</strong> función vectorial por<br />

df(x0, y0; ∆x, ∆y) = (∆x, ∆y) · f ′ (x0, y0) t =<br />

<br />

∂f1<br />

∂f1<br />

t = (∆x, ∆y) ·<br />

∂x (x0, y0)<br />

∂f2<br />

∂x (x0, y0)<br />

∂y (x0, y0)<br />

∂f2<br />

∂y (x0, y0)<br />

entonces <strong>la</strong> diferencial es un vector cuyas componentes son aproximaciones<br />

<strong>de</strong> <strong>la</strong>s correspondientes componentes <strong>de</strong><br />

f(x0 + ∆x, y0 + ∆y) − f(x0, y0)<br />

y dichas aproximaciones son tanto mejores en cuanto los incrementos <strong>de</strong> <strong>la</strong>s<br />

variables in<strong>de</strong>pendientes, ∆x y ∆y, sean más pequeños.<br />

Ejemplo 2.1.2. Si f(x, y) = (xy, x 2 − y 2 ), estudiar si es diferenciable y<br />

calcu<strong>la</strong>r su diferencial.<br />

Sus componentes son <strong>la</strong>s funciones f1(x, y) = xy y f2(x, y) = x 2 − y 2 .<br />

Se trata <strong>de</strong> dos funciones que tienen <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n<br />

continuas en R 2 y, por tanto, son diferenciables en cada punto <strong>de</strong> R 2 . Es-<br />

to <strong>de</strong>muestra que <strong>la</strong> función vectorial f es diferenciable en R 2 . La matriz<br />

jacobiana tiene <strong>la</strong> forma<br />

f ′ (x, y) =<br />

Entonces una aproximación <strong>de</strong><br />

<br />

44<br />

y x<br />

2x −2y<br />

<br />

.<br />

,


viene dada por<br />

f(x + ∆x, y + ∆y) − f(x, y)<br />

(∆x, ∆y) ·<br />

<br />

y x<br />

2x −2y<br />

t<br />

=<br />

= (y∆x + x∆y, 2x∆x − 2y∆y).<br />

El caso <strong>de</strong> funciones vectoriales <strong>de</strong> una variable real presenta una particu<strong>la</strong>ri-<br />

dad que <strong>de</strong>stacamos a continuación. El número <strong>de</strong> componentes es indiferente,<br />

pero, para simplificar, consi<strong>de</strong>raremos una función<br />

f : x ∈ I ⊂ R → f(x) = (f1(x), f2(x)) ∈ R 2 .<br />

Sus componentes f1 y f2 son funciones reales <strong>de</strong> variable real. Si x0 es un<br />

punto interior <strong>de</strong>l intervalo I, tiene sentido consi<strong>de</strong>rar el límite siguiente<br />

lím<br />

x→x0<br />

f(x) − f(x0)<br />

.<br />

x − x0<br />

Caso <strong>de</strong> existir, se <strong>de</strong>nota por f ′ (x0) y recibe el nombre <strong>de</strong> <strong>de</strong>rivada <strong>de</strong> f en<br />

el punto x0. Se trata <strong>de</strong> un vector <strong>de</strong> R 2 .<br />

Es fácil probar que el límite <strong>de</strong> una función vectorial es el vector cuyas<br />

componentes son los límites <strong>de</strong> cada componente <strong>de</strong> <strong>la</strong> función. Por tanto, en<br />

nuestro caso tenemos<br />

= lím<br />

x→x0<br />

f(x) − f(x0)<br />

lím<br />

x→x0 x − x0<br />

f1(x) − f1(x0)<br />

, lím<br />

x − x0 x→x0<br />

=<br />

f2(x) − f2(x0) <br />

.<br />

x − x0<br />

Vemos, pues, que f es <strong>de</strong>rivable en x0 cuando lo son sus componentes y<br />

se verifica f ′ (x0) = (f ′ 1(x0), f ′ 2(x0)). La matriz jacobiana <strong>de</strong> f es <strong>la</strong> matriz<br />

columna f ′ (x0) t = (f ′ 1(x0), f ′ 2(x0)) t . Entre funciones vectoriales <strong>de</strong> una vari-<br />

able, el concepto <strong>de</strong> <strong>de</strong>rivada <strong>de</strong> una función en un punto es <strong>de</strong> mayor interés<br />

45


y se usa más a menudo que el <strong>de</strong> matriz jacobiana; por ello, reservaremos <strong>la</strong><br />

notación<br />

f ′ (x0) = (f ′ 1(x0), f ′ 2(x0))<br />

para <strong>la</strong> <strong>de</strong>rivada <strong>de</strong> f en x0, mientras que <strong>la</strong> matriz jacobiana se <strong>de</strong>notará por<br />

f ′ (x0) t .<br />

Una ecuación <strong>de</strong>l tipo x(t) = (x(t), y(t)), con t ∈ [a, b], pue<strong>de</strong> interpre-<br />

tarse como <strong>la</strong> ecuación paramétrica <strong>de</strong> una curva p<strong>la</strong>na. Vamos a mostrar que<br />

el vector <strong>de</strong>rivada x ′ (t0) es un vector tangente a <strong>la</strong> curva en el punto x(t0).<br />

En efecto, el cociente incremental<br />

x(t) − x(t0)<br />

,<br />

t − t0<br />

es un vector con igual dirección y sentido que x(t) − x(t0), si t > t0; en<br />

cambio, si t < t0, el sentido es el contrario.<br />

y<br />

O<br />

x(t )<br />

o<br />

x -x<br />

(t) (t o)<br />

x<br />

x(t)<br />

En cualquier caso, el cociente incremental es un vector paralelo a <strong>la</strong> cuerda<br />

<strong>de</strong> extremos x(t) y x(t0), y dirigido en el sentido en que x(t) recorre <strong>la</strong> curva.<br />

46<br />

x


Al tomar límite cuando t → t0, se obtiene un vector tangente a <strong>la</strong> curva en<br />

el punto x(t0) y dirigido en el sentido mencionado.<br />

Terminamos este apartado haciendo notar que <strong>la</strong> matriz jacobiana <strong>de</strong> una<br />

función esca<strong>la</strong>r no es otra cosa que el gradiente, y si <strong>la</strong> función esca<strong>la</strong>r es <strong>de</strong><br />

una só<strong>la</strong> variable, entonces <strong>la</strong> matriz jacobiana tiene un único elemento que<br />

es <strong>la</strong> <strong>de</strong>rivada ordinaria f ′ (x0).<br />

2.2. La reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na<br />

Sean f y g funciones reales <strong>de</strong> una variable ambas <strong>de</strong>rivables y tales que<br />

tiene sentido consi<strong>de</strong>rar <strong>la</strong> función compuesta g ◦ f. Al estudiar el cálculo<br />

diferencial <strong>de</strong> una variable vimos que <strong>la</strong> <strong>de</strong>rivada <strong>de</strong> g ◦f en x0 es el producto<br />

g ′ (f(x0)) · f ′ (x0). Es <strong>de</strong>cir, se verifica <strong>la</strong> igualdad<br />

(g ◦ f) ′ (x0) = g ′ (f(x0)) · f ′ (x0).<br />

La igualdad anterior suele <strong>de</strong>nominarse reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na. Esta reg<strong>la</strong> es<br />

válida para funciones <strong>de</strong> varias variables, esca<strong>la</strong>res o vectoriales. Si f y g son<br />

funciones diferenciables <strong>de</strong> cualquier número <strong>de</strong> variables, entonces<br />

(g ◦ f) ′ (x0) = g ′ (f(x0)) · f ′ (x0),<br />

don<strong>de</strong> el producto que aparece en el segundo miembro es el producto matricial<br />

<strong>de</strong> <strong>la</strong>s correspondientes matrices <strong>de</strong>rivadas.<br />

Para mayor c<strong>la</strong>ridad vamos a consi<strong>de</strong>rar dos <strong>de</strong> <strong>la</strong>s situaciones más co-<br />

munes con <strong>la</strong>s que nos encontraremos.<br />

I) Para facilitar <strong>la</strong> exposición, vamos a <strong>de</strong>notar <strong>la</strong>s variables in<strong>de</strong>pendi-<br />

entes por x1, x2 y x3. Supongamos que T (x1, x2, x3) es <strong>la</strong> temperatura en cada<br />

punto <strong>de</strong> una cierta región <strong>de</strong>l espacio y contenida en dicha región una curva<br />

dada por <strong>la</strong> ecuación<br />

x(t) = (x1(t), x2(t), x3(t))<br />

para t ∈ [a, b]. Nótese que T (x(t)) es el valor <strong>de</strong> <strong>la</strong> temperatura en el punto<br />

<strong>de</strong> <strong>la</strong> curva <strong>de</strong> coor<strong>de</strong>nadas (x1(t), x2(t), x3(t)). Si estuviéramos interesados<br />

47


en estudiar el comportamiento <strong>de</strong> <strong>la</strong> temperatura a lo <strong>la</strong>rgo <strong>de</strong> <strong>la</strong> curva,<br />

tendríamos que consi<strong>de</strong>rar <strong>la</strong> función compuesta T (x(t)).<br />

Ejemplo 2.2.1. Si T (x1, x2, x3) = x 2 1 + x 2 2 + x 2 3 y C es <strong>la</strong> curva <strong>de</strong> ecuaciones<br />

paramétricas<br />

x1 = cos t, x2 = sen t, x3 = t 2 ,<br />

entonces Tc(t) = cos 2 t + sen 2 t + t 4 = 1 + t 4 es <strong>la</strong> función que nos marca<br />

<strong>la</strong> temperatura en los puntos <strong>de</strong> <strong>la</strong> curva y no es otra cosa que <strong>la</strong> función<br />

compuesta T (x(t)).<br />

Continuando con el <strong>de</strong>sarrolo anterior, vamos a ver cómo se obtiene <strong>la</strong><br />

<strong>de</strong>rivada <strong>de</strong> <strong>la</strong> función temperatura sobre <strong>la</strong> curva, Tc(t) = T (x(t)), usando<br />

<strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na. Como T es una función esca<strong>la</strong>r, su matriz jacobiana es<br />

∇T y, recordando lo que acabamos <strong>de</strong> ver en el apartado anterior, x ′ (t0) t es<br />

<strong>la</strong> matriz jacobiana <strong>de</strong> x(t) en t0. Entonces <strong>la</strong> <strong>de</strong>rivada T ′ c(t0) viene dada por<br />

el producto matricial<br />

∇T (x(t0)) · (x ′ 1(t0), x ′ 2(t0), x ′ 3(t0)) t .<br />

Por tanto, hemos obtenido <strong>la</strong> igualdad<br />

dTc<br />

dt (t0) =<br />

3 ∂T<br />

i=1<br />

∂xi<br />

(x(t0)) · dxi<br />

dt (t0).<br />

La expresión anterior conduce a <strong>la</strong> reg<strong>la</strong> práctica siguiente:<br />

En primer lugar, dibujamos un diagrama que exprese cómo <strong>de</strong>pen<strong>de</strong> Tc(t))<br />

<strong>de</strong> <strong>la</strong> variable t a través <strong>de</strong> <strong>la</strong>s variables x1, x2 y x3.<br />

48


T(x(t))<br />

T<br />

Vemos que hay tres caminos para llegar <strong>de</strong>s<strong>de</strong> T hasta t. Entonces<br />

dTc<br />

dt (t0)<br />

viene dada por una suma con tres sumandos. Cada sumando correspon<strong>de</strong><br />

a un camino. El sumando correspondiente al camino T → xi → t es un<br />

producto <strong>de</strong> <strong>la</strong> forma ∂T dxi · ∂xi dt .<br />

II) Cambios <strong>de</strong> variables.<br />

En <strong>la</strong>s aplicaciones nos encontramos a menudo con el problema <strong>de</strong> conocer<br />

cómo se re<strong>la</strong>cionan <strong>la</strong>s <strong>de</strong>rivadas parciales ∂T<br />

∂x<br />

x<br />

x<br />

x<br />

1<br />

2<br />

3<br />

y ∂T<br />

∂y<br />

con ∂T<br />

∂ρ<br />

t<br />

t<br />

t<br />

∂T y , para po<strong>de</strong>r<br />

∂ω<br />

<strong>de</strong>terminar <strong>la</strong> nueva ecuación a partir <strong>de</strong> <strong>la</strong> ecuación en cartesianas. Para<br />

ello, usaremos <strong>de</strong> nuevo <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na.<br />

Ejemplo 2.2.2. De cierta magnitud T , que es función <strong>de</strong> otras dos x e y,<br />

se conoce que verifica cierta ecuación en <strong>de</strong>rivadas parciales respecto <strong>de</strong> <strong>la</strong>s<br />

coor<strong>de</strong>nadas po<strong>la</strong>res; por ejemplo, se sabe que T satisface <strong>la</strong> ecuación<br />

sen ω ∂T<br />

∂ρ<br />

+ cos ω<br />

ρ<br />

∂T<br />

∂ω<br />

= 0, (2.1)<br />

y se <strong>de</strong>sea encontrar <strong>la</strong> ecuación que verifica T respecto <strong>de</strong> <strong>la</strong>s coor<strong>de</strong>nadas<br />

cartesianas.<br />

Primero vamos a proce<strong>de</strong>r haciendo uso <strong>de</strong> <strong>la</strong> reg<strong>la</strong> práctica y posteri-<br />

ormente usaremos <strong>la</strong> forma matricial. La reg<strong>la</strong> práctica nos dice que, para<br />

49


empezar, <strong>de</strong>bemos dibujar un diagrama que exprese <strong>la</strong> <strong>de</strong>pen<strong>de</strong>ncia <strong>de</strong> T<br />

respecto <strong>de</strong> <strong>la</strong>s coor<strong>de</strong>nadas po<strong>la</strong>res ρ y ω a través <strong>de</strong> x e y<br />

T<br />

x<br />

y<br />

Vemos que para llegar <strong>de</strong>s<strong>de</strong> T , tanto a ρ como a ω, hay dos caminos,<br />

pues x = ρ · cos ω e y = ρ · sen ω. Por tanto, cada <strong>de</strong>rivada parcial ∂T<br />

∂ρ y<br />

∂T<br />

∂ω<br />

consta <strong>de</strong> dos sumandos, uno por cada camino. Al camino T → x → ρ<br />

correspon<strong>de</strong> el sumando ∂T<br />

∂x<br />

sumando <strong>de</strong> <strong>la</strong> forma ∂T<br />

∂y<br />

· ∂y<br />

∂ρ<br />

∂T<br />

∂ρ<br />

∂T<br />

∂ω<br />

r<br />

w<br />

r<br />

w<br />

∂x · , mientras que el camino T → y → ρ aporta un<br />

∂ρ<br />

. En <strong>de</strong>finitiva, se tienen <strong>la</strong>s siguientes re<strong>la</strong>ciones<br />

= ∂T<br />

∂x<br />

= ∂T<br />

∂x<br />

∂x ∂T<br />

· +<br />

∂ρ ∂y<br />

∂x ∂T<br />

· +<br />

∂ω ∂y<br />

· ∂y<br />

∂ρ<br />

· ∂y<br />

∂ω .<br />

Pasamos ahora a obtener <strong>la</strong>s re<strong>la</strong>ciones anteriores haciendo uso <strong>de</strong> <strong>la</strong> ex-<br />

presión matricial <strong>de</strong> <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na. Denotamos por g <strong>la</strong> función que<br />

cambia <strong>de</strong> coor<strong>de</strong>nadas<br />

(ρ, ω) ∈ (0, +∞) × [0, 2π] → (x, y) =<br />

= (ρ · cos ω, ρ · sen ω) ∈ R 2 .<br />

50


Nótese que <strong>la</strong> función compuesta (esca<strong>la</strong>r) T ◦ g es <strong>la</strong> que expresa T en<br />

coor<strong>de</strong>nadas po<strong>la</strong>res. La reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na nos dice que el producto matricial<br />

∇T · g ′ es el gradiente <strong>de</strong> <strong>la</strong> función compuesta; es <strong>de</strong>cir<br />

( ∂T ∂T<br />

) = (∂T<br />

∂ρ ∂ω ∂x<br />

<br />

∂x<br />

∂T ∂ρ ) ·<br />

∂y<br />

∂x<br />

∂ω<br />

<br />

.<br />

Terminamos este apartado resolviendo el problema p<strong>la</strong>nteado en el ejem-<br />

plo anterior. A partir <strong>de</strong> <strong>la</strong>s expresiones que hemos encontrado para ∂T<br />

∂ρ<br />

obtenemos<br />

sen ω ∂T<br />

∂ρ<br />

cos ω<br />

ρ<br />

∂T<br />

∂ω<br />

∂y<br />

∂ρ<br />

∂y<br />

∂ω<br />

= sen ω cos ω ∂T<br />

∂x + sen2 ω ∂T<br />

∂y<br />

= − cos ω sen ω ∂T<br />

∂x + cos2 ω ∂T<br />

∂y .<br />

Sumando <strong>la</strong>s dos igualda<strong>de</strong>s anteriores resulta<br />

sen ω ∂T<br />

∂ρ<br />

+ cos ω<br />

ρ<br />

∂T<br />

∂ω = (sen2 ω + cos 2 ω) ∂T<br />

∂y<br />

Por tanto, <strong>la</strong> ecuación en cartesianas se reduce a<br />

∂T<br />

∂y<br />

= 0.<br />

= ∂T<br />

∂y .<br />

2.3. P<strong>la</strong>no tangente a una superficie.<br />

y ∂T<br />

∂ω ,<br />

Consi<strong>de</strong>ramos <strong>la</strong> superficie <strong>de</strong> ecuación f(x, y, z) = 0 y vamos a pro-<br />

bar que, si (x0, y0, z0) es un punto <strong>de</strong> S, ∇f(x0, y0, z0) es un vector perpen-<br />

dicu<strong>la</strong>r al vector tangente, en dicho punto, a cualquier curva contenida en<br />

<strong>la</strong> superficie y que pasa por (x0, y0, z0). Sea, pues, x(t) = (x(t), y(t), z(t))<br />

(t ∈ [a, b]) <strong>la</strong> ecuación <strong>de</strong> una curva que está contenida en <strong>la</strong> superficie<br />

S y que pasa por el punto (x0, y0, z0). Entonces existe t0 ∈ [a, b] tal que<br />

x(t0) = (x(t0), y(t0), z(to)) y se verifica<br />

f(x(t), y(t), z(t)) = 0, para cada t ∈ [a, b].<br />

51


Por tanto, <strong>de</strong>rivando respecto <strong>de</strong> t, resulta para t = t0<br />

∇f(x(t0)) · x ′ (t0) t = 0,<br />

lo que prueba que ∇f(x0, y0, z0) y x ′ (t0) (el vector tangente a <strong>la</strong> curva en<br />

(x0, y0, z0)) son perpendicu<strong>la</strong>res.<br />

Ésta es <strong>la</strong> razón <strong>de</strong> que se <strong>de</strong>fina el p<strong>la</strong>no tangente a <strong>la</strong> superficie f(x, y, z) =<br />

0 en el punto (x0, y0, z0) como el p<strong>la</strong>no que pasa por dicho punto y es per-<br />

pendicu<strong>la</strong>r a ∇f(x0, y0, z0). Su ecuación tiene <strong>la</strong> forma<br />

∂f<br />

∂x · (x − x0) + ∂f<br />

∂y · (y − y0) + ∂f<br />

∂z · (z − z0) = 0,<br />

don<strong>de</strong> <strong>la</strong>s <strong>de</strong>rivadas parciales <strong>de</strong> f se toman en el punto (x0, y0, z0).<br />

Si <strong>la</strong> ecuación <strong>de</strong> <strong>la</strong> superficie viene dada en forma explícita por z =<br />

F (x, y), po<strong>de</strong>mos pasar a <strong>la</strong> forma explícita poniendo f(x, y, z) = F (x, y) −<br />

z = 0. De acuerdo con lo que acabamos <strong>de</strong> ver, el p<strong>la</strong>no tangente en el punto<br />

(x0, y0, F (x0, y0)) tiene por ecuación<br />

ya que ∂f<br />

∂x<br />

∂F<br />

∂x (x0, y0) · (x − x0) + ∂F<br />

∂y (x0, y0) · (y − y0)+<br />

∂F ∂f<br />

= , ∂x ∂y<br />

+(−1) · (z − F (x0, y0)) = 0,<br />

= ∂F<br />

∂y<br />

tangente adopta <strong>la</strong> forma final<br />

y ∂f<br />

∂z<br />

z = F (x0, y0) + ∂F<br />

∂x · (x − x0) + ∂F<br />

∂y<br />

= −1. Por tanto, <strong>la</strong> ecuación <strong>de</strong>l p<strong>la</strong>no<br />

· (y − y0),<br />

expresión que ya habiamos encontrado al estudiar el concepto <strong>de</strong> función<br />

diferenciable <strong>de</strong> dos variables.<br />

Ejemplo 2.3.1. Encontrar el p<strong>la</strong>no tangente a <strong>la</strong> superficie z = x 2 + y 2 en<br />

el punto (0, 0, 0).<br />

Calcu<strong>la</strong>mos <strong>la</strong>s <strong>de</strong>rivadas parciales <strong>de</strong> primer or<strong>de</strong>n z ′ x = 2x y z ′ y = 2y.<br />

Sus valores en el punto en cuestión son z ′ x(0, 0) = 0 y z ′ y(0, 0) = 0. Por tanto,<br />

<strong>la</strong> ecuación <strong>de</strong>l p<strong>la</strong>no tangente tiene <strong>la</strong> forma z = 0 + 0 · (x − 0) + 0 · (y − 0);<br />

es <strong>de</strong>cir, z = 0.<br />

52


Finalizamos el apartado <strong>de</strong>stacando una propiedad <strong>de</strong> ∇f en re<strong>la</strong>ción<br />

con <strong>la</strong>s superficies <strong>de</strong> nivel <strong>de</strong> f. Dada una función f <strong>de</strong> tres variables,<br />

f(x, y, z) = c es <strong>la</strong> ecuación <strong>de</strong> una superficie <strong>de</strong> nivel. Si (x0, y0, z0) es un<br />

punto <strong>de</strong> dicha superficie, <strong>de</strong>l mismo modo que hemos probado que ∇f es per-<br />

pendicu<strong>la</strong>r a <strong>la</strong> superficie f(x, y, z) = 0, pue<strong>de</strong> <strong>de</strong>mostrarse que ∇f(x0, y0, z0)<br />

es perpendicu<strong>la</strong>r a <strong>la</strong> superficie <strong>de</strong> nivel.<br />

2.4. El jacobiano<br />

En este apartado consi<strong>de</strong>ramos funciones vectoriales con n variables y<br />

n componentes. En tal caso, <strong>la</strong> matriz jacobiana es una matriz cuadrada<br />

<strong>de</strong> or<strong>de</strong>n n y tiene sentido calcu<strong>la</strong>r su <strong>de</strong>terminante que recibe el nombre<br />

<strong>de</strong> jacobiano <strong>de</strong> <strong>la</strong> función en el punto en cuestión. Más precisamente, si<br />

f : D ⊂ R n → R n es diferenciable en x0 ∈ D, el jacobiano <strong>de</strong> f en x0 es el<br />

<strong>de</strong>terminante <strong>de</strong> <strong>la</strong> matriz f ′ (x0) y se <strong>de</strong>nota por<br />

<strong>de</strong>t(f ′ (x0)) = ∂(f1, · · · , fn)<br />

∂(x1, · · · , xn) (x0).<br />

Si y = f(x), entonces también suele usarse <strong>la</strong> notación<br />

∂y<br />

∂r<br />

∂(y1, · · · , yn)<br />

∂(x1, · · · , xn) (x0).<br />

Ejemplo 2.4.1. Si x = r cos ω e y = r sen ω, entonces<br />

∂(x, y)<br />

∂(r, ω) =<br />

<br />

<br />

<br />

<br />

<br />

∂x<br />

∂r<br />

∂x<br />

∂ω<br />

<br />

<br />

<br />

<br />

=<br />

<br />

<br />

cos ω<br />

<br />

sen ω<br />

<br />

−r sen ω<br />

<br />

<br />

= r.<br />

r cos ω <br />

∂y<br />

∂ω<br />

En este caso, <strong>la</strong> función vectorial es <strong>la</strong> <strong>de</strong>finida por<br />

(r, ω) ∈ (0, +∞) × [0, 2π) → (x, y) =<br />

= (r cos ω, r sen ω) ∈ R 2 ,<br />

<strong>de</strong> dos componentes, x = r cos ω e y = r sen ω, y dos variables r y ω.<br />

53


Las dos propieda<strong>de</strong>s fundamentales <strong>de</strong>l jacobiano son <strong>la</strong>s siguientes:<br />

1) Si f es diferenciable en x0 y g lo es en f(x0), entonces el jacobiano <strong>de</strong> <strong>la</strong><br />

función compuesta g ◦ f es el producto <strong>de</strong> los jacobianos, es <strong>de</strong>cir, se verifica<br />

don<strong>de</strong> z = g(y) e y = f(x).<br />

∂(z1, · · · , zn)<br />

∂(x1, · · · , xn) = ∂(z1, · · · , zn)<br />

∂(y1, · · · , yn) · ∂(y1, · · · , yn)<br />

∂(x1, · · · , xn) ,<br />

2) Si f posee inversa diferenciable, entonces se verifica<br />

don<strong>de</strong> y = f(x).<br />

∂(y1, · · · , yn)<br />

∂(x1, · · · , xn) · ∂(x1, · · · , xn)<br />

∂(y1, · · · , yn)<br />

= 1,<br />

Ambas propieda<strong>de</strong>s se <strong>de</strong>ducen fácilmente a partir <strong>de</strong> <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca-<br />

<strong>de</strong>na y <strong>de</strong>l hecho bien conocido <strong>de</strong> que el <strong>de</strong>terminante <strong>de</strong> un producto <strong>de</strong><br />

dos matrices es el producto <strong>de</strong> los <strong>de</strong>terminantes <strong>de</strong> ambas. En el caso <strong>de</strong> <strong>la</strong><br />

primera propiedad, <strong>la</strong> prueba proce<strong>de</strong>ría como sigue: <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na<br />

nos dice que <strong>la</strong> matriz jacobiana <strong>de</strong> <strong>la</strong> función compuesta g ◦ f es el producto<br />

<strong>de</strong> <strong>la</strong>s matrices jacobianas <strong>de</strong> <strong>la</strong>s funciones g y f. Por tanto, el jacobiano <strong>de</strong> <strong>la</strong><br />

función compuesta es el <strong>de</strong>terminante <strong>de</strong> <strong>la</strong> matriz que resulta <strong>de</strong> multiplicar<br />

<strong>la</strong>s matrices jacobianas g ′ (f(x0)) y f ′ (x0), que es el producto <strong>de</strong> los <strong>de</strong>termi-<br />

nantes <strong>de</strong> ambas. Por lo que se refiere a 2), nótese que es consecuencia directa<br />

<strong>de</strong> <strong>la</strong> primera ya que f ◦ f −1 es <strong>la</strong> función i<strong>de</strong>ntidad cuya matriz jacobiana es<br />

<strong>la</strong> matriz unidad y, por tanto, su jacobiano es 1.<br />

Ejemplo 2.4.2. Sean u = y/x y v = x2 + y2 , calcu<strong>la</strong>r ∂(x,y)<br />

∂(u,v) .<br />

Lo más cómodo es calcu<strong>la</strong>r el jacobiano ∂(u,v)<br />

∂(x,y)<br />

resultado obtenido:<br />

∂(u, v)<br />

∂(x, y) =<br />

<br />

<br />

−y/x<br />

<br />

<br />

2 2x<br />

<br />

1/x<br />

<br />

<br />

<br />

2y <br />

y <strong>de</strong>spués invertimos el<br />

= −2y2<br />

x 2 − 2 = −2(u2 + 1).<br />

−1<br />

Entonces el jacobiano que buscamos es igual a 2(u2 , por <strong>la</strong> propiedad se-<br />

+1)<br />

gunda. Un cálculo sencillo permite obtener <strong>la</strong>s variables x e y en función <strong>de</strong><br />

54


u y v. Concretamente, x = v<br />

1+u2 e y = u v<br />

1+u2 . Con estas expresiones <strong>de</strong><br />

x e y, ahora podríamos obtener el jacobiano ∂(x,y)<br />

directamente, pero es más<br />

∂(u,v)<br />

simple el camino que hemos seguido consistente en calcu<strong>la</strong>r el jacobiano <strong>de</strong><br />

<strong>la</strong> función inversa para <strong>de</strong>spués aplicar <strong>la</strong> propiedad (2).<br />

2.5. Derivación <strong>implícita</strong>.<br />

Una ecuación <strong>de</strong>l tipo F (x, y) = 0 pue<strong>de</strong> interpretarse como <strong>la</strong> ecuación<br />

en forma <strong>implícita</strong> <strong>de</strong> una curva en el p<strong>la</strong>no OXY, ya que el conjunto <strong>de</strong><br />

los puntos que verifican <strong>la</strong> ecuación posee un grado <strong>de</strong> libertad (se pue<strong>de</strong>n<br />

escoger los valores <strong>de</strong> x libremente y los <strong>de</strong> y quedan <strong>de</strong>terminados por <strong>la</strong><br />

ecuación). Pero pue<strong>de</strong>n darse situaciones muy diversas como muestran los<br />

ejemplos siguientes.<br />

Ejemplos 2.5.1. a) F (x, y) = x 2 + e y = 0. En este caso <strong>la</strong> ecuación no tiene<br />

ninguna solución.<br />

b) F (x, y) = x 2 + y 2 = 0. Sólo el punto (0, 0) es solución.<br />

c) F (x, y) = e y − x 2 − 1 = 0. En este caso pue<strong>de</strong> <strong>de</strong>spejarse y y se obtiene<br />

y(x) = log(x 2 + 1).<br />

d) F (x, y) = x 2 +y 2 −1 = 0. Ahora también po<strong>de</strong>mos <strong>de</strong>spejar <strong>la</strong> variable<br />

y, pero obtenemos dos funciones diferentes y(x) = ± √ 1 − x 2 .<br />

Vemos que sólo en el ejemplo (c) <strong>la</strong> ecuación F (x, y) = 0 <strong>de</strong>fine im-<br />

plícitamente <strong>de</strong> una única manera a <strong>la</strong> variable y como función <strong>de</strong> x. En el<br />

ejemplo (d) <strong>la</strong> ecuación <strong>de</strong>fine <strong>implícita</strong>mente a y como función <strong>de</strong> x <strong>de</strong> dos<br />

formas diferentes. Hay una forma <strong>de</strong> conseguir que también en este ejemplo<br />

<strong>la</strong> ecuación <strong>de</strong>fina <strong>de</strong> forma única a y como función <strong>de</strong> x. Consiste en exigir<br />

que <strong>la</strong> función y(x) tome un valor pre<strong>de</strong>terminado para cierto valor <strong>de</strong> x. Por<br />

ejemplo, si queremos que y(0) = 1, entonces <strong>la</strong> ecuación x 2 +y 2 −1 = 0 <strong>de</strong>fine<br />

<strong>implícita</strong>mente a y como función <strong>de</strong> x <strong>de</strong> una única manera: y(x) = √ 1 − x 2 .<br />

El siguiente ejemplo pone <strong>de</strong> manifiesto <strong>la</strong> importancia que pue<strong>de</strong> tener<br />

este hecho.<br />

55


Ejemplo 2.5.2. Calcu<strong>la</strong>r lím<br />

0, y f(x, −x) = 0, para cada x ∈ R.<br />

(x,y)→(0,0) f(x, y), siendo f(x, y) = x3 +y3 x+y<br />

Primero vamos a calcu<strong>la</strong>r los límites a través <strong>de</strong> <strong>la</strong>s rectas y = mx<br />

lím<br />

(x, y) → (0, 0)<br />

y = mx<br />

x<br />

f(x, y) = lím<br />

x→0<br />

3 (1 + m3 )<br />

x(1 + m) =<br />

x<br />

= lím<br />

x→0<br />

2 (1 + m3 )<br />

(1 + m)<br />

= 0,<br />

, si x + y =<br />

si m = −1. Por otra parte, es c<strong>la</strong>ro que el límite a través <strong>de</strong> <strong>la</strong> recta y = −x<br />

también es 0. Ahora vamos a consi<strong>de</strong>rar <strong>la</strong> curva <strong>de</strong> ecuación F (x, y) =<br />

x 3 + y 3 − x − y = 0. Nótese que pasa por el punto (0, 0) y que en cada uno <strong>de</strong><br />

sus puntos f toma el valor constante 1. Por tanto, el límite <strong>de</strong> f a lo <strong>la</strong>rgo <strong>de</strong><br />

esta curva es igual a 1. Esto prueba que no existe el límite doble <strong>de</strong> f(x, y)<br />

en el origen pues <strong>la</strong> función es osci<strong>la</strong>nte en <strong>la</strong>s proximida<strong>de</strong>s <strong>de</strong> (0, 0). Pero<br />

hemos pasado por alto algo muy importante ¿cómo po<strong>de</strong>mos estar seguros<br />

<strong>de</strong> que <strong>la</strong> ecuación x 3 + y 3 − x − y = 0 <strong>de</strong>fine realmente una curva? Podría<br />

ocurrir, como en el ejemplo (b), que sólo el punto (0, 0) verificara <strong>la</strong> ecuación.<br />

En ese caso el razonamiento seguido para probar que no existe el límite doble<br />

se caería por su propio peso.<br />

El ejemplo muestra <strong>la</strong> importancia <strong>de</strong> disponer <strong>de</strong> un criterio práctico para<br />

<strong>de</strong>scubrir si, dados F (x, y) = 0 y un punto (x0, y0) tal que F (x0, y0) = 0, <strong>la</strong><br />

ecuación <strong>de</strong>fine <strong>implícita</strong>mente a y como función <strong>de</strong> x y esta función verifica<br />

que y(x0) = y0. El teorema siguiente muestra que se requiere <strong>la</strong> condición<br />

F ′ y(x0, y0) = 0.<br />

Teorema 2.5.3. (De <strong>la</strong> función <strong>implícita</strong>). Sea F una función <strong>de</strong> c<strong>la</strong>se uno<br />

en un entorno <strong>de</strong> (x0, y0) y tal que F (x0, y0) = 0 y F ′ y(x0, y0) = 0. Entonces<br />

existe un entorno E <strong>de</strong> x0 <strong>de</strong> modo que sólo hay una función y = y(x) <strong>de</strong>finida<br />

56


<strong>implícita</strong>mente en dicho entorno por <strong>la</strong> ecuación y verificando y(x0) = y0.<br />

A<strong>de</strong>más, esta función tiene <strong>de</strong>rivada continua en cada punto <strong>de</strong> E.<br />

Para terminar el ejemplo anterior, nótese que F ′ y(0, 0) = 3y 2 − 1|(0,0) =<br />

−1 = 0. De modo que queda garantizado que <strong>la</strong> ecuación F (x, y) = 0 <strong>de</strong>fine<br />

una curva que pasa por (0, 0).<br />

Supongamos que y = y(x) es una función <strong>de</strong>finida <strong>implícita</strong>mente por <strong>la</strong><br />

ecuación F (x, y) = 0 y queremos calcu<strong>la</strong>r y ′ (x). Vamos a ver que po<strong>de</strong>mos<br />

encontrar y ′ (x) aunque no dispongamos <strong>de</strong> <strong>la</strong> forma explícita <strong>de</strong> y(x). Basta<br />

observar que F (x, y(x)) = 0, para cada x ∈ D (D es el dominio <strong>de</strong> y(x)).<br />

Entonces <strong>la</strong> <strong>de</strong>rivada <strong>de</strong> F (x, y(x)) respecto <strong>de</strong> x es cero en D. Para obtener<br />

esta <strong>de</strong>rivada usaremos <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na.<br />

<strong>de</strong> x.<br />

Primero dibujamos un diagrama que recoja <strong>la</strong> forma en que F <strong>de</strong>pen<strong>de</strong><br />

F<br />

x<br />

y x<br />

Hay dos formas <strong>de</strong> llegar <strong>de</strong>s<strong>de</strong> F a x, por lo que <strong>la</strong> <strong>de</strong>rivada <strong>de</strong> F (x, y(x))<br />

constará <strong>de</strong> dos sumandos.<br />

Al camino F → x le correspon<strong>de</strong> el sumando ∂F , mientras que al segundo<br />

∂x<br />

camino, F → y → x, correspon<strong>de</strong> un sumando <strong>de</strong> <strong>la</strong> forma ∂F<br />

∂y<br />

resulta<br />

para cada x ∈ D.<br />

∂F<br />

∂x<br />

+ ∂F<br />

∂y<br />

57<br />

· dy<br />

dx<br />

= 0,<br />

dy<br />

· . Por tanto,<br />

dx


Esta igualdad nos permite obtener<br />

y ′ ∂F<br />

∂x (x) = − , (2.2)<br />

∂F<br />

∂y<br />

expresión válida para cada x ∈ D tal que ∂F (x, y(x)) = 0.<br />

∂y<br />

Ejemplos 2.5.4. a) Encontrar <strong>la</strong> ecuación <strong>de</strong> <strong>la</strong> recta tangente a <strong>la</strong> circun-<br />

ferencia x 2 + y 2 = r 2 en el punto (x0, y0), siendo y0 > 0.<br />

Derivamos <strong>implícita</strong>mente en <strong>la</strong> ecuación x 2 + y 2 − r 2 = 0 y obtenemos<br />

2x + 2yy ′ = 0. Por tanto, y ′ (x0) = − x0 . Entonces <strong>la</strong> ecuación <strong>de</strong> <strong>la</strong> recta<br />

y0<br />

tangente viene dada por<br />

y − y0 = − x0<br />

(x − x0).<br />

Finalmente, como x 2 0 + y 2 0 = r 2 , <strong>la</strong> ecuación queda en <strong>la</strong> forma<br />

y0<br />

x0<br />

y − y0 = −<br />

(x − x0).<br />

r2 2 − x0 b) Calcu<strong>la</strong>r y ′ (0), siendo y(x) <strong>la</strong> única función <strong>implícita</strong> <strong>de</strong> x que <strong>de</strong>fine<br />

<strong>la</strong> ecuación F (x, y) = x 4 + y 4 + x 3 y − 1 = 0 en un entorno <strong>de</strong>l punto (0, 1).<br />

Es c<strong>la</strong>ro que F es una función <strong>de</strong> c<strong>la</strong>se uno en todo el p<strong>la</strong>no y que<br />

F (0, 1) = 0. Calcu<strong>la</strong>mos <strong>la</strong> <strong>de</strong>rivada parcial F ′ y(x, y) = 4y 3 + x 3 y <strong>la</strong> evalu-<br />

amos en el punto (0, 1): F ′ y(0, 1) = 4 = 0. Por tanto, el Teorema anterior<br />

nos garantiza que hay una función y(x) (única) <strong>de</strong>finida <strong>implícita</strong>mente por<br />

<strong>la</strong> ecuación en algún entorno <strong>de</strong>l origen y verificando y(0) = 1.<br />

Para <strong>de</strong>terminar su <strong>de</strong>rivada, po<strong>de</strong>mos emplear (2.2)<br />

Haciendo x = 0, obtenemos y ′ (0) = 0<br />

4<br />

ables:<br />

y ′ (x) = − F ′ x(x, y(x))<br />

F ′ y(x, y(x)) .<br />

= 0.<br />

Terminamos el tema consi<strong>de</strong>rando el caso <strong>de</strong> una ecuación <strong>de</strong> tres vari-<br />

58


F (x, y, z) = 0. Para saber si <strong>la</strong> ecuación <strong>de</strong>fine <strong>implícita</strong>mente a <strong>la</strong> variable<br />

z como función <strong>de</strong> <strong>la</strong>s variables x e y, en un entorno <strong>de</strong> un punto (x0, y0, z0)<br />

que verifica <strong>la</strong> ecuación, acudiremos a un Teorema simi<strong>la</strong>r al que acabamos<br />

<strong>de</strong> ver.<br />

Teorema 2.5.5. Sea F una función <strong>de</strong> c<strong>la</strong>se uno en un entorno <strong>de</strong> (x0, y0, z0)<br />

y tal que<br />

y<br />

F (x0, y0, z0) = 0<br />

F ′ z(x0, y0, z0) = 0.<br />

Entonces existe un entorno E <strong>de</strong> (x0, y0) <strong>de</strong> modo que sólo hay una función<br />

z = z(x, y) <strong>de</strong>finida <strong>implícita</strong>mente en dicho entorno por <strong>la</strong> ecuación y ver-<br />

ificando z(x0, y0) = z0. A<strong>de</strong>más, esta función tiene <strong>de</strong>rivadas parciales <strong>de</strong><br />

primer or<strong>de</strong>n continuas en cada punto <strong>de</strong> E.<br />

De hecho, existe un Teorema general <strong>de</strong> <strong>la</strong> función <strong>implícita</strong>, válido para<br />

una ecuación F (x1, .., xn, xn+1) = 0. En este caso, si se quiere que <strong>la</strong> ecuación<br />

<strong>de</strong>fina <strong>implícita</strong>mente a <strong>la</strong> variable xn+1 como función <strong>de</strong> <strong>la</strong>s restantes en un<br />

entorno <strong>de</strong>l punto x0, el Teorema exige que F ′ xn+1 no se anule en dicho punto.<br />

2.6. Sistemas <strong>de</strong> ecuaciones<br />

Consi<strong>de</strong>ramos el sistema <strong>de</strong> ecuaciones<br />

<br />

F (x, y, z) = 0<br />

G(x, y, z) = 0,<br />

(2.3)<br />

y nos p<strong>la</strong>nteamos <strong>la</strong> cuestión siguiente:¿qué condiciones <strong>de</strong>ben verificar F y<br />

G para que el sistema <strong>de</strong>fina <strong>implícita</strong>mente a x e y como funciones <strong>de</strong> z?.<br />

Antes <strong>de</strong> ver <strong>la</strong> respuesta a esta pregunta, es conveniente consi<strong>de</strong>rar el caso<br />

<strong>de</strong> un sistema lineal <br />

F (x, y, z) = a1x + b1y + c1z = 0<br />

G(x, y, z) = a2x + b2y + c2z = 0.<br />

59<br />

(2.4)


Es conocido <strong>de</strong>l álgebra elemental que, si el <strong>de</strong>teminante<br />

<br />

<br />

a1 b1 <br />

∆ = <br />

<br />

a2 b2<br />

es no nulo, entonces en el sistema (2.4) x e y están <strong>de</strong>terminadas (<strong>de</strong> manera<br />

única) en función <strong>de</strong> z por <strong>la</strong>s re<strong>la</strong>ciones siguientes<br />

<br />

<br />

−c1z<br />

<br />

−c2z<br />

x =<br />

∆<br />

<br />

<br />

b1 <br />

<br />

b2 <br />

,<br />

<br />

<br />

<br />

<br />

<br />

y =<br />

∆<br />

a1 −c1z<br />

a2 −c2z<br />

Nótese que ∆ no es otra cosa que ∂(F,G)<br />

, es <strong>de</strong>cir, el jacobiano <strong>de</strong> (F, G)<br />

∂(x,y)<br />

respecto <strong>de</strong> <strong>la</strong>s variables x, y. Por tanto, en el caso lineal, si se verifica <strong>la</strong><br />

condición ∂(F,G)<br />

= 0, entonces el sistema <strong>de</strong>fine a x e y como funciones <strong>de</strong><br />

∂(x,y)<br />

z. Pues bien, en el caso general ocurre exactamente lo mismo, sólo que no<br />

siempre será posible encontrar <strong>de</strong> forma exacta <strong>la</strong>s funciones que expresan x<br />

e y en función <strong>de</strong> z. Concretamente, se verifica el siguiente resultado.<br />

Teorema 2.6.1. (Teorema <strong>de</strong> <strong>la</strong> función <strong>implícita</strong> para sistemas). Sean F y<br />

G funciones <strong>de</strong> c<strong>la</strong>se uno en un entorno <strong>de</strong> un punto (x0, y0, z0) que verifica<br />

el sistema (2.3). Si<br />

∂(F, G)<br />

∂(x, y) (x0, y0, z0) = 0,<br />

entonces existe un entorno E <strong>de</strong> z0 <strong>de</strong> modo que el sistema (2.3) <strong>de</strong>fine<br />

<strong>implícita</strong>mente (<strong>de</strong> manera única) en dicho entorno a x e y como funciones<br />

<strong>de</strong> z (x = x(z) e y = y(z)), verificando x(z0) = x0 e y(z0) = y0.<br />

A<strong>de</strong>más, estas funciones tienen <strong>de</strong>rivadas <strong>de</strong> primer or<strong>de</strong>n continuas en<br />

cada punto <strong>de</strong> E.<br />

PROBLEMAS RESUELTOS<br />

60<br />

<br />

<br />

<br />

<br />

<br />

.


1. Si se realiza el cambio <strong>de</strong> variables dado por u = x 2 + y 2 y v = xy,<br />

encontrar <strong>la</strong> forma que adopta en <strong>la</strong>s nuevas variables <strong>la</strong> ecuación<br />

y ∂f<br />

+ x∂f<br />

∂x ∂y<br />

= 0. (2.5)<br />

Para ayudarnos usamos el esquema siguiente que recoge cómo <strong>de</strong>pen<strong>de</strong> f<br />

<strong>de</strong> x e y a través <strong>de</strong> <strong>la</strong>s variables u y v.<br />

f<br />

De acuerdo con <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na, tenemos<br />

∂f<br />

∂x<br />

∂f<br />

∂y<br />

u<br />

v<br />

∂f ∂u ∂f ∂v<br />

= +<br />

∂u ∂x ∂v ∂x<br />

∂f ∂u ∂f ∂v<br />

= +<br />

∂u ∂y ∂v ∂y ,<br />

don<strong>de</strong> <strong>la</strong>s <strong>de</strong>rivadas parciales <strong>de</strong> u y v vienen dadas por<br />

∂u<br />

∂x<br />

= 2x , ∂u<br />

∂y<br />

= 2y , ∂v<br />

∂x<br />

Sustituyendo <strong>la</strong>s expresiones obtenidas <strong>de</strong> ∂f<br />

∂x<br />

resulta:<br />

61<br />

= y , ∂v<br />

∂y<br />

y ∂f<br />

∂y<br />

= x.<br />

x<br />

x<br />

y<br />

y<br />

en <strong>la</strong> igualdad (7.4),


0 = y ∂f<br />

+ x∂f<br />

∂x ∂y =<br />

<br />

∂f ∂f<br />

= y 2x +<br />

∂u ∂v y<br />

<br />

∂f ∂f<br />

+ x 2y +<br />

∂u ∂v x<br />

<br />

=<br />

= 4xy ∂f<br />

∂u + (x2 + y 2 ) ∂f ∂f<br />

= 4v + u∂f<br />

∂v ∂u ∂v .<br />

Por tanto, <strong>la</strong> ecuación en <strong>la</strong>s nuevas variables tiene <strong>la</strong> forma<br />

4v ∂f<br />

+ u∂f<br />

∂u ∂v<br />

= 0.<br />

2. Comprobar que el p<strong>la</strong>no tangente en cada punto <strong>de</strong> <strong>la</strong> superficie x 2 + y 2 =<br />

a 2 tiene en común con el<strong>la</strong> una recta.<br />

Un punto cualquiera <strong>de</strong> <strong>la</strong> superficie tiene <strong>la</strong> forma (x0, y0, z0), siendo<br />

x 2 0 + y 2 0 = a 2 . La ecuación <strong>de</strong>l p<strong>la</strong>no tangente tiene <strong>la</strong> forma<br />

∂f<br />

∂x (x0, y0, z0)(x − x0) + ∂f<br />

∂y (x0, y0, z0)(y − y0)+<br />

+ ∂f<br />

∂z (x0, y0, z0)(z − z0) = 0,<br />

si <strong>la</strong> ecuación <strong>de</strong> <strong>la</strong> superficie es f(x, y, z) = 0 (en nuestro caso, x 2 +<br />

y 2 − a 2 = 0). Entonces <strong>la</strong> ecuación <strong>de</strong>l p<strong>la</strong>no tangente a nuestra superficie<br />

adopta <strong>la</strong> forma<br />

2x0(x − x0) + 2y0(y − y0) = 0.<br />

Simplificando, obtenemos x0(x − x0) + y0(y − y0) = 0. Finalmente, nótese<br />

que <strong>la</strong> recta <strong>de</strong> ecuación<br />

x = x0 , y = y0 , z = t<br />

está contenida en <strong>la</strong> superficie y en el p<strong>la</strong>no (en ambas ecuaciones no<br />

aparece <strong>la</strong> variable z).<br />

62


3. Comprobar que el sistema siguiente <strong>de</strong>fine <strong>implícita</strong>mente a x e y como<br />

funciones <strong>de</strong> z en un entorno <strong>de</strong> (1, 1, 1). Calcu<strong>la</strong>r x ′ (1) e y ′ (1).<br />

<br />

F (x, y, z) = x 3 + y 3 + z 3 − 2x = 1<br />

G(x, y, z) = xyz = 1.<br />

Primero comprobamos que el punto (1, 1, 1) verifica el sistema. En segundo<br />

lugar, calcu<strong>la</strong>mos el jacobiano<br />

∂(F, G)<br />

∂(x, y) =<br />

<br />

<br />

<br />

<br />

yz xz<br />

y lo evaluamos en el punto (1, 1, 1)<br />

3x 2 − 2 3y 2<br />

<br />

<br />

<br />

<br />

,<br />

<br />

∂(F, G)<br />

<br />

1 3<br />

<br />

<br />

(1, 1, 1) = = −2 = 0.<br />

∂(x, y) 1 1 <br />

Por tanto, el Teorema garantiza que existe un entorno <strong>de</strong> z0 = 1 y fun-<br />

ciones x = x(z) e y = y(z) (<strong>de</strong>finidas <strong>implícita</strong>mene por el sistema),<br />

<strong>de</strong>finidas <strong>de</strong> manera única en él y verificando x(1) = 1 e y(1) = 1. Para<br />

obtener <strong>la</strong>s <strong>de</strong>rivadas <strong>de</strong> x(z) e y(z), basta <strong>de</strong>rivar <strong>la</strong>s ecuaciones <strong>de</strong>l sis-<br />

tema respecto <strong>de</strong> z, teniendo en mente que x e y son funciones <strong>de</strong> z,<br />

resultano <strong>la</strong>s igualda<strong>de</strong>s<br />

<br />

3x 2 x ′ + 3y 2 y ′ + 3z 2 − 2x ′ = 0<br />

x ′ yz + xy ′ z + xy = 0.<br />

Ahora hacemos z = 1 y teniendo en cuenta que x(1) = 1 e y(1) = 1,<br />

encontramos el sistema<br />

<br />

3x ′ + 3y ′ + 3 − 2x ′ = 0<br />

x ′ + y ′ + 1 = 0.<br />

Fácilmente se obtiene x ′ (1) = 0 e y ′ (1) = −1.<br />

63


4. Calcu<strong>la</strong>r <strong>la</strong> ecuación <strong>de</strong> <strong>la</strong> recta tangente a <strong>la</strong> elipse <strong>de</strong> ecuación<br />

en el punto (1, 2 √ 3).<br />

x 2<br />

4<br />

+ y2<br />

16<br />

= 1,<br />

En lugar <strong>de</strong> <strong>de</strong>spejar y en <strong>la</strong> ecuación, es más cómodo <strong>de</strong>rivar <strong>implícita</strong>-<br />

mente respecto <strong>de</strong> x:<br />

Despejando y ′ , encontramos<br />

Entonces<br />

x yy′<br />

+<br />

2 8<br />

= 0.<br />

y ′ = − 4x<br />

y .<br />

y ′ (1) = − 4<br />

2 √ 3 = −2√ 3<br />

3 .<br />

Finalmente, <strong>la</strong> ecuación <strong>de</strong> <strong>la</strong> recta tangente es<br />

y = 2 √ 3 − 2√3 (x − 1),<br />

3<br />

don<strong>de</strong> se ha usado <strong>la</strong> ecuación punto pendiente: y = y0 + y ′ (x0)(x − x0).<br />

5. Calcu<strong>la</strong>r el vector normal unitario en cada punto <strong>de</strong>l elipsoi<strong>de</strong> <strong>de</strong> ecuación<br />

x 2 + y2<br />

2<br />

+ z2<br />

2<br />

= 1.<br />

Sabemos que ∇f es un vector perpendicu<strong>la</strong>r a <strong>la</strong> superficie <strong>de</strong> ecuación<br />

f(x, y, z) = 0. En nuestro caso, f(x, y, z) viene dada por<br />

x 2 + y2<br />

2<br />

+ z2<br />

2<br />

− 1 = 0.<br />

Por tanto un vector normal a <strong>la</strong> superficie en el punto (x0, y0, z0) tiene <strong>la</strong><br />

forma<br />

( ∂f ∂f ∂f<br />

, ,<br />

∂x ∂y ∂z ) = (2x0, y0, z0).<br />

64


El módulo <strong>de</strong> este vector es 4x 2 0 + y 2 0 + z 2 0. Entonces el vector unitario<br />

normal es<br />

n =<br />

6. Se consi<strong>de</strong>ra <strong>la</strong> ecuación<br />

1<br />

<br />

2 4x0 + y2 0 + z2 (2x0, y0, z0).<br />

0<br />

∂f<br />

∂x<br />

= ∂f<br />

∂y .<br />

Encontrar <strong>la</strong> forma que adpota <strong>la</strong> ecuación en <strong>la</strong>s nuevas varibles u y v,<br />

dadas por x = u + v e y = u − v.<br />

Nos ayudaremos <strong>de</strong>l esquema siguiente<br />

Aplicando <strong>la</strong> reg<strong>la</strong> <strong>de</strong> <strong>la</strong> ca<strong>de</strong>na al esquema anterior, se obtiene<br />

<br />

∂f ∂f ∂u ∂f ∂v<br />

= + ∂x ∂u ∂x ∂v ∂x<br />

∂f ∂f ∂u ∂f ∂v<br />

= + ∂y ∂u ∂y ∂v ∂y .<br />

(2.6)<br />

A partir <strong>de</strong> <strong>la</strong>s re<strong>la</strong>ciones x = u + v e y = u − v, se obtienen fácilmente<br />

<strong>la</strong>s igualda<strong>de</strong>s<br />

x + y x − y<br />

u = , v = .<br />

2 2<br />

Entonces <strong>la</strong>s <strong>de</strong>rivadas parciales <strong>de</strong> u y v respecto <strong>de</strong> x e y vienen dadas<br />

por<br />

∂u<br />

∂x<br />

= ∂u<br />

∂y<br />

∂f<br />

∂y<br />

= ∂v<br />

∂x<br />

2 ∂u <br />

1 ∂f<br />

= 2 ∂u<br />

1 ∂v<br />

= .<br />

2 ∂y<br />

− ∂f<br />

∂v<br />

= −1<br />

2 .<br />

Sustituyendo los valores anteriores en <strong>la</strong>s igualda<strong>de</strong>s (2.6), resulta<br />

⎧ <br />

⎨ ∂f 1 ∂f ∂f<br />

= + ∂x ∂v <br />

⎩<br />

.<br />

Igua<strong>la</strong>ndo los segundos miembros <strong>de</strong> <strong>la</strong>s ecuaciones anteriores, se sigue que<br />

∂f<br />

∂v<br />

= 0,<br />

que es <strong>la</strong> ecuación que verifica f en <strong>la</strong>s nuevas variables.<br />

65


7. Calcu<strong>la</strong>r lím<br />

(x,y)→(0,0) f(x, y), siendo f(x, y) = x2 y 2<br />

x+y .<br />

Vemos que el dominio <strong>de</strong> <strong>la</strong> función es todo el p<strong>la</strong>no menos los puntos <strong>de</strong><br />

<strong>la</strong> recta x+y = 0. Empezamos calcu<strong>la</strong>ndo los límites a través <strong>de</strong> <strong>la</strong>s rectas<br />

y = mx (m = −1):<br />

lím<br />

(x, y) → (0, 0)<br />

y = mx<br />

x 2 y 2<br />

x + y<br />

m 2 x 3<br />

= lím<br />

x→0<br />

m 2 x 4<br />

x(1 + m) =<br />

= lím = 0.<br />

x→0 1 + m<br />

Vamos a ver que, sin embargo, no existe el límite doble, consi<strong>de</strong>rando<br />

el límite direccional a través <strong>de</strong> una curva <strong>de</strong> nivel, por ejemplo, <strong>la</strong> <strong>de</strong><br />

ecuación f(x, y) = 1. Dicha curva <strong>de</strong> nivel tiene exactamente <strong>la</strong> ecuación<br />

x 2 y 2 − x − y = 0. Pue<strong>de</strong> comprobarse por métodos elementales que <strong>de</strong>fine<br />

<strong>implícita</strong>mente una curva y = y(x) que pasa por el origen (basta <strong>de</strong>spejar<br />

y). Pero, para practicar con el Teorema <strong>de</strong> <strong>la</strong> función <strong>implícita</strong>, vamos<br />

a recurrir a este Teorema para comprobar que <strong>la</strong> ecuación anterior <strong>de</strong>-<br />

fine <strong>implícita</strong>mente a y como función <strong>de</strong> x en un entorno <strong>de</strong> (0, 0). Sea<br />

F (x, y) = x 2 y 2 − x − y, <strong>de</strong>bemos comprobar los siguientes hechos:<br />

a) F (0, 0) = 0.<br />

b) F (x, y) es diferenciable con continuidad<br />

c) ∂F (0, 0) = 0.<br />

∂y<br />

a) y b) se verifican <strong>de</strong> manera obvia, en cuanto a c), basta calcu<strong>la</strong>r<br />

∂F<br />

∂y (x, y) = 2x2y − 1 para comprobar que no se anu<strong>la</strong> en el origen. Por<br />

tanto, el Teorema <strong>de</strong> <strong>la</strong> función <strong>implícita</strong> nos asegura que <strong>la</strong> ecuación<br />

x 2 y 2 − x − y = 0 <strong>de</strong>fine <strong>implícita</strong>mente, en un entorno <strong>de</strong> 0, una función<br />

y = y(x). El límite direccional a través <strong>de</strong> esta curva es obviamente 1.<br />

Esto prueba que f(x, y) es osci<strong>la</strong>nte en un entorno <strong>de</strong>l origen.<br />

PROBLEMAS PROPUESTOS<br />

66


1. Escribir en coor<strong>de</strong>nadas po<strong>la</strong>res <strong>la</strong> expresión<br />

Solución:<br />

2 ∂f<br />

∂r<br />

+ 1<br />

r 2<br />

∂f<br />

∂ω<br />

2. Expresar <strong>la</strong> ecuación ∂f<br />

∂x<br />

2<br />

.<br />

= ∂f<br />

∂y<br />

2 ∂f<br />

+ ∂x<br />

(x, y) mediante <strong>la</strong>s ecuaciones x = u+v<br />

2 e y = u−v<br />

2 .<br />

Solución: ∂f<br />

∂v<br />

= 0.<br />

2 ∂f<br />

. ∂y<br />

en <strong>la</strong>s coor<strong>de</strong>nadas (u, v), re<strong>la</strong>cionadas con<br />

3. Si g : R → R es <strong>de</strong>rivable, probar que f(x, y) = xg( x)<br />

verifica <strong>la</strong> ecuación<br />

y<br />

x ∂f ∂f<br />

+ y ∂x ∂y<br />

= f.<br />

4. Si f(x, y) = e x2 +y 2<br />

x , hal<strong>la</strong>r <strong>de</strong> dos formas diferentes <strong>la</strong>s <strong>de</strong>rivadas parciales<br />

∂f<br />

∂r<br />

∂f<br />

y , siendo (r, ω) <strong>la</strong>s coor<strong>de</strong>nadas po<strong>la</strong>res.<br />

∂ω<br />

Solución: ∂f<br />

∂r<br />

∂f ∂x ∂f ∂y<br />

= + ∂x ∂r ∂y ∂r = er/ cos ω / cos ω y ∂f<br />

∂ω<br />

∂f ∂x ∂f ∂y<br />

= + ∂x ∂ω ∂y ∂ω =<br />

r sen ωer/ cos ω / cos2 ω. Otra forma: se pasa f(x, y) a po<strong>la</strong>res y <strong>de</strong>spués se<br />

<strong>de</strong>riva parcialmente respecto <strong>de</strong> r y ω.<br />

5. Sean f, g : R → R dos veces <strong>de</strong>rivables. Probar que y(x, t) = f(x + at) +<br />

g(x − at) es solución <strong>de</strong> <strong>la</strong> ecuación <strong>de</strong> ondas ∂2 y<br />

∂t 2 = a 2 ∂2 y<br />

∂x 2 .<br />

x<br />

6. Calcu<strong>la</strong>r lím<br />

(x,y)→(0,0)<br />

4 + y4 x + y .<br />

Solución: Los límites a trvés <strong>de</strong> <strong>la</strong>s rectas y = mx valen 0, pero a través<br />

<strong>de</strong> <strong>la</strong> curva <strong>de</strong> nivel (x 4 + y 4 )/(x + y) = 1 su valor es 1. Por tanto, no<br />

existe el límite doble.<br />

7. Si f(P, V, T ) = 0 es <strong>la</strong> ecuación <strong>de</strong> estado <strong>de</strong> un gas, probar que ∂P ∂V ∂T<br />

∂V ∂T ∂P =<br />

−1, en el supuesto <strong>de</strong> que se verifique que <strong>la</strong>s <strong>de</strong>rivadas parciales ∂f<br />

∂P<br />

y ∂f<br />

∂T<br />

sean no nu<strong>la</strong>s.<br />

Solución: ∂P<br />

∂V = − f ′ V<br />

f ′ ,<br />

P<br />

∂V<br />

∂T = − f ′ T<br />

f ′ V<br />

y ∂T<br />

∂P = − f ′ P<br />

f ′ .<br />

T<br />

, ∂f<br />

∂V<br />

8. Comprobar que <strong>la</strong> ecuación x 4 + y 4 + xy − 3 = 0 <strong>de</strong>fine implítamente a y<br />

como función <strong>de</strong> x en un entorno <strong>de</strong> (1, 1). Si y(x) <strong>de</strong>nota dicha función,<br />

calcu<strong>la</strong>r y ′′ (1).<br />

67


Solución: y ′′ (1) = −22/5.<br />

9. Se l<strong>la</strong>man puntos estacionarios a aquellos en los que se anu<strong>la</strong> el gradiente.<br />

Hal<strong>la</strong>r los puntos estacionarios <strong>de</strong> <strong>la</strong> función z <strong>de</strong>finida <strong>implícita</strong>mente por<br />

<strong>la</strong> ecuación x 3 − y 2 − 3x + 4y + z 2 + z − 8 = 0.<br />

Solución: Sólo hay dos puntos estacionarios: (±1, −2).<br />

10. Si y = y(x) es una función <strong>de</strong>finida <strong>implícita</strong>mente por <strong>la</strong> ecuación x 2 +<br />

y 3 + e y = 0, calcu<strong>la</strong>r y ′ e y ′′ en términos <strong>de</strong> x e y.<br />

Solución: y ′ = −2x/(3y 2 +e y ) e y ′′ = −<br />

e y ) 3 .<br />

11. Probar que el sistema<br />

<br />

<br />

x + y + t = 1<br />

x 3 + y 3 + t 3 = 1,<br />

4x 2 (6y +e y )+2(3y 2 +e y )<br />

<br />

/(3y2 +<br />

<strong>de</strong>fine <strong>implícita</strong>mente a x e y como funciones <strong>de</strong> t en un entorno <strong>de</strong> (1, 0, 0).<br />

Si x(t) e y(t) <strong>de</strong>notan dichas funciones, obtener el vector tangente <strong>de</strong> <strong>la</strong><br />

curva <strong>de</strong> ecuaciones paramétricas x = x(t) e y = y(t) en el punto t = 0.<br />

Solución: ( ˙x(0), ˙y(0)) = (0, −1).<br />

68

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!