Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Funciones
Compuestas
e
Implícitas

Unidad 7

1
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Expectativas de logro
Al finalizar esta sección el estudiante será capaz de:
1. Reconocer y formalizar la composición entre distintos tipos de campos
2. Derivar las distintas funciones compuestas a través de la generalización de la regla de la cadena
3. Utilizar matriz jacobiana
4. Establecer la relación entre el gradiente de un campo diferenciable y sus curvas de nivel.
5. Reconocer la existencia de una función o un campo definidos implícitamente por una
ecuación

2
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Punto de partida

1. Supongamos que la temperatura en cada punto (x, y ,z) ∈ IR3 es T(x, y, z) = x2 + y2 + z2 .

Sea una partícula que viaja por una hélice circular recta dada por la función vectorial c(t) = ( cos t,
sen t, t) y sea T(t) su temperatura en el tiempo. Se pide hallar la razón de cambio de la temperatura
con respecto al tiempo.

y x

2. Si la ecuación F ( x , y ) =
ex − e + x 3 − y = 0 , define a y = f(x) en el entorno de (1,1), se
y

pideestudiar :
si estácreciendo o decreciendo en dichopunto
la ecuación de su recta tangente en (1,1)
los extremosabsolutos y relativos en el intervalo [0,5 ; 4]

NOTA: Si las herramientas de cálculo habituales no alcanzan, se puede utilizar el programa

Mathematica en la computadora, cuyas representaciones gráficas servirán como guía o como
control de resultados.

3
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Función compuesta. Revisión

En Análisis I se estudió que dadas f :A→B y g: C→D, donde B y C, tienen intersección no vacía, se
puede definir una sola función que a cada elemento de A le haga corresponder una imagen en D.
Es condición necesaria, para que esto suceda, que el conjunto imagen de f esté incluido en el dominio
de g (Imf⊆Domg).
A esta única función se la llama función compuesta de f con g y se la anota g o f , cuyas imágenes son
g[f(x)].
Recordemos que la composición de funciones no es conmutativa.

Para derivar una función compuesta usamos la regla de la cadena :

siu(x) = g[f(x)] entonces u’(x) = g’[f(x)].f ’(x).

x+1 1 −2 −2
Por ejemplo: u( x ) = ln ; u ′( x ) = ⋅ = .
x −1 x + 1 ( x − 1)2 x 2 − 1
x −1
x+1
Acá podemos visualizar la dependencia funcional u = ln v con v =
x −1

mediante el siguiente diagrama: u→ v → x

Generalización a campos
Análogamente a lo visto para funciones escalares, las funciones generalizadas sólo pueden componerse
si la imagen de la primera función que se aplica está incluida en el dominio de la segunda.
Supongamos el caso planteado en el punto de partida de este módulo, en que la temperatura de cada
punto (x, y, z)∈ IR3 es T(x,y,z) = x2 + y2 + z2 . Si una partícula viaja por una hélice circular recta dada
r
por la función vectorial c(t) =(cos t sen t, t) entonces la función compuesta es una función escalar del
tiempo t, como se observa en el siguiente diagrama de árbol
x t
T y t

O sea: :̅ IR→IR3; T:IR3→IR . Entonces , para todo t, se tiene h(t) = ̅ = [ ̅ ]

z t

En este ejemplo siempre ̅ ⊆

Analicemos en qué casos es posible realizar una composición.

f:A⊆ ℝ → ℝ, g:B⊆ ℝ → ℝ
i. Función escalar-función escalar

- Si Im(f) ⊆B, existe gof:A⊆ ℝ → ℝ, que por lo tanto es una función escalar
- Si Im(g)⊆A, existe fog:B⊆ ℝ → ℝ que también resulta una función escalar

4
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

f:A⊆ ℝ → ℝ, : ⊆ ℝ → ℝ con n ≥ 2
ii. Función escalar- función vectorial

- Si Im(f) ⊆B, existe g of:A⊆ ℝ → ℝ que es una función vectorial

r
r r
- Como Im( g ) no está incluida en A, no existe fo g .

f:A⊆ ℝ → ℝ , G: B⊆ ℝ → ℝ con n≥2

iii. Función escalar –campo escalar

- Si Im(G) ⊆A, existe foG:B⊆ ℝ → ℝ que resulta un campo escalar

- Im(f) no está incluida en B, entonces no existe Gof.

f:A⊆ ℝ → ℝ , ̅ : ⊆ ℝ → ℝ con n ≥ 2 y m ≥ 2
iv. Función escalar- campo vectorial
r
- Im(f) no está incluida en B, con lo cual no existe G o f
r r
- Im( G ) no está incluida en A, entonces no existe fo G

:̅ ⊆ ℝ → ℝ , ̅ : ⊆ ℝ → ℝ con n ≥ 2 y m ≥ 2
v. Función vectorial- función vectorial

r r r
- Im( f ) no está incluida en B, por lo tanto no existe g o f .
r rr
- Im( g ) no está incluida en A, con lo cual no existe f o g .

Actividad
Decidir si se pueden realizar y bajo qué condiciones las composiciones entre los distintos campos y
funciones que faltan.

Derivación de funciones compuestas

Generalización de la regla de la cadena

Sean ̅ : ⊆ ℝ → ℝ y : ⊆ ℝ → ℝ (con n≥1, m≥1, p≥1) tales que Im ̅ ⊆B. Si ̅ diferenciable

diferenciable en ̅ (P0), entonces ̅ es diferenciable en P 0 y
ur ur
en P 0 y

̅ = ̅ .

La demostración de la regla de la cadena puede encontrarse en el libro Cálculo Vectorial de Marsden-

Tromba.

Ejemplo 1

Dadas ̅ : IR2→IR2 tal que ̅ (x,y) = ( g1, g2 ) = (x2 +1; y2)∧ :̅ IR2→ IR3 tal que
̅
(u,v) = ( f1 , f2 , f3 ) = (u + v, u, v 2) se pide calcular la derivada de ̅ ̅ en (1,1) .

De acuerdo con lo visto ̅ ̅ = .̅ ̅ . Calcularemos cada una de estas matrices jacobianas

independientemente.

5
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

$% $%
$ % $ %
# $& $' , 1 1 # $3 ,
̅ = "$ ( $ ( + = -1 0 1 ̅ = $2 =4
22 0
5
" $& $' + " $ ( $ ( + 0 23
0 2'
$ ) $ )
! $2 $3 *
! $& $' *
Estas matrices especializadas en el punto (x,y) = (1,1) y para el cual (u,v) = ( 2;1),serán:

1 1
̅ 2,1 = -1 01 2 0
̅ 1,1 = 7 8
0 2
0 2

̅ ̅ 2,1 .
 1 1  2 2
̅ 1,1 = ̅ 1,1 =  1 0  
  2 0  
Finalmente  =  2 0 
0 2   0 2  0 4
   

Sean F:ℝ( → ℝ/F(u,v)=u2+3v y ̅ : ℝ( → ℝ( / ̅ (x,y)=(3x+y,cosx) . Se quiere encontrar, si existe, la

Ejemplo 2:

ecuación del plano tangente al gráfico de H=Fo ̅ en (0;1;z0).

Como Im( ̅ ) ⊆ ℝ( , es posible realizar la composición y el resultado es un campo escalar definido de
ℝ( → ℝ. Como F y ̅ son funciones diferenciables en todo punto, entonces H=Fo ̅ también lo es y por
lo tanto es posible encontrar una ecuación para el plano tangente a su gráfico.

Para determinar z0, debemos tener en cuenta que z0=H(0;1)= Fo ̅ (0;1)=F(1;1)=4.

Como se puede considerar como vector normal al plano tangente a (H'x (0; 1); H'y (0; 1); - 1), debemos
:; 0,1 .
calcular∇

DH(0;1)= D(Fo ̅ )(0;1)=DF( ̅ 0,1 D ̅ (0,1)=DF(1,1)D ̅ (0,1)

Por la regla de la cadena,

3 1 3 1
DH(0;1)= (2u 3)(1;1) 7 8 = (2 3)7 8=(6 2)
−>?@2 0 A,% 0 0
Entonces∇ :;(0,1)=(6,2) y la ecuación del plano tangente es:
((x,y,z)-(0,1,4)).(6,2,-1)=0

Red orientada

Es posible derivar utilizando una red orientada. Esta red puede armarse para cualquier composición de
funciones que pueda hacerse y facilita la visualización de la vinculación que existe entre las variables,
ya que muestra cuáles son las variables independientes de la composición, y a través de qué variables
intermedias se llega a ellas.

6
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Ejemplo 3: Si : ℝ( → ℝ( / (u;v) = ( u . sen v; u cosv; u) y G :ℝ( → ℝ) / G (x;y)= (x2-y2;y.sen x)

r r

H = F o G :ℝ( → ℝ)
r r r x
Podemos obtener u
r
En ese caso es: u = x2-y2 Entonces: H
v = y. sen x y
v
Para obtener la matriz derivada asociada a la composición debemos derivar en el orden que indica la
r
red, cada componente de F respecto de “x” y respecto de “y”, pasando por u y v.

∂ H i ∂ Fi ∂ u ∂ Fi ∂ v ∂ H i ∂ Fi ∂ u ∂ Fi ∂ v
= ⋅ + ⋅ y = ⋅ + ⋅
∂x ∂u ∂x ∂v ∂x ∂y ∂u ∂y ∂v ∂y

Entonces:

∂ H1 ∂ H1
= sen v. 2 x + u.cos v. y cos x ; = sen v.(− 2 y) + u.cos v. sen x
∂x ∂y

∂ H2 ∂ H2
= cos v. 2 x + u.(− sen v). y cos x ; = cos v.(− 2 y) + u.(− sen v). sen x
∂x ∂y

∂ H3 ∂ H3
= 12
. x + 0. y cos x ; = 1.(−2 y) + 0. sen x
∂x ∂x

Y entonces se puede rearmar la matriz diferencial

 2 x.sen v + u. y.cos v.cos x −2 y sen v + u.cos v.sen x 
r  
D[ H( x; y) ] =  2 x cos v − uy sen v.cos x −2 y cos v − u.sen v.sen x 

 2x −2 y 
r
Es decir: D[ H( x; y) ] =
 2 x.sen ( y. sen x ) + ( x 2 -y 2 ) . y.cos ( y. sen x ) .cos x −2 y sen ( y. sen x ) + ( x 2 -y 2 ) .cos ( y. sen x ) .sen x 

 2 x cos ( y. sen x ) − ( x 2 -y 2 ) y sen ( y. sen x ) .cos x −2 y cos ( y. sen x ) − ( x 2 -y 2 ) .sen ( y. sen x ) .sen x 

 2x −2 y 
 

Funciones definidas implícitamente

Una de las formas vistas (en Análisis I) de clasificar funciones escalares, consiste en dividirlas en dos
categorías: explícitas e implícitas. Llamamos explícitas a aquellas funciones en que la variable
considerada dependiente está explícitamente despejada, de tal forma que, al asignar valores a la variable
independiente es inmediato obtener su imagen y = f(x). En campos escalares, para dos variables
()
independientes es z = f(x, y); para n variables: z = f P siendo P = ( x1 , x 2 , x3 .....x n ) .
Por el contrario, llamamos implícitas a aquellas funciones o campos en los que no está explícitamente
dada una variable en función de las restantes. Esto no significa que no exista relación funcional entre
ellas, sino que la obtención de los pares ordenados o n-uplas que definen dicha función pueden ser un
problema que requiera métodos de cálculo numérico.

7
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Ejemplo 4
Consideremos la ecuación sen ( xy ) = y 2 en la que no está despejada ninguna de las dos variables. Si
consideramos a y como variable dependiente, resulta imposible despejarla.

Sin embargo, si damos a x un valor, como por ejemplo x0= 2, resulta la ecuación trascendente
sen (2 y ) = y 2 que tiene por soluciones y=0 e y= 0,966877 (verificarlo con un software adecuado).

Entonces los pares (2, 0.966877) y (2,0) pertenecen a dos relaciones funcionales generadas por la
misma ecuación sen (2 y ) = y 2 que no puede explicitarse en y. Si elegimos convenientemente el
codominio, uno de estos pares de una relación funcional

Definición
Supongamos tener una ecuación F(x, y) = 0 que se satisface en P0(x0, y0 ) diremos que:

La ecuación F (x, y) = 0 define implícitamente y = ϕ (x) en un entorno de P0 si y sólo si

∀2: 2 ∈ D 2A ⟹ 2, F 2 = 0

Interpretación gráfica
Cuando decimos que F(x, y) =0 define implícitamente a y como función de x en el entorno de un punto
P0 (x0,y0), estamos admitiendo que existe una curva que pasa por P0 y que es representación gráfica de
esa función ϕ.
Podríamos pensar que existe un campo escalar z = F(x, y), cuya representación gráfica es una
superficie a la cual le estamos buscando la curva de nivel 0: F(x, y) =0 (cuando es z = 0).
Esta curva de nivel es la intersección de la superficie con el plano xy.
Admitamos entonces que, para que exista la curva mencionada, debe haber intersección entre la
superficie en cuestión y el plano x y.

¿Será siempre factible lo dicho anteriormente?

¿Cualquier F(x, y) =0 se puede representar como una curva que pasa por P0? O, lo que es equivalente:
¿Cualquier superficie z = F(x, y) tiene intersección con el plano xy?
Pensemos en las superficies z = x2 + y2 +1 o z = x2 + y2 o z = x2 + y2 –1
¿Cuáles son las intersecciones con el plano x y en cada caso? Buscarlas.
Notemos que no siempre estamos en presencia de una curva intersección.
Y más aún: en caso de existir la curva, no siempre va a ser posible explicitar la y en función de x
despejándola desde F(x, y) =0, como ya se afirmó antes.

8
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Ejemplo 5
Sea e y + y 2 − 2 y − x 2 − 1 = 0 . No se puede despejar y en función de x de ninguna manera!! Pero, si
recurrimos al concepto de curva de nivel, gráficamente se puede apreciar la existencia de la misma.

3 3

2 2

2
0 3 1 1

-2 2

-1 1 0
0 -1 1 2 3

1 0

2
-1 -12-2
0 -1
3 -1 0 1 2 3

Campo intersectado
con el plano xy Visto desde el eje z
Curva

Puede verse que la curva de nivel corresponde al gráfico de, por lo menos, dos funciones de x.

Los interrogantes anteriores nos llevan a pensar en que deberían verse satisfechas ciertas condiciones
para que y = ϕ(x) sea una función. Estas condiciones se encuentran en el llamado “Teorema de
existencia y derivabilidad para una función definida en forma implícita”

“Teorema de existencia y derivabilidad para una función definida en

formaimplícita” (Teorema de Cauchy-Dini)

Consideremos F ( X ) = 0con X ∈ ℝ con n ≥ 2, siendo X =( x1;x2;....;xn-1; z)

r r r

a) ∃GA = 2%A ; 2(A ; … , 2 AJ% , K A ∈ ℝ / F( X 0 ) =0

Si se cumple que:
v
r
b) F es continua en un entorno de X0
r r
c) Existen y son continuas en unE( X0 ) las derivadas parciales de F en X0
∂F
d) ≠0
∂ z  Xr
0

i) Existe un entorno E( X0 ´) ⊆ ℝ J%con,existe un entorno E(yo) ⊆ ℝ y existe una única función

Entonces: r
r
ϕ : E( X0 ´) → E(z0) tal que:
r r r
ϕ( X0 ´) =z0 y F (x1 ; x 2 ;...; x n −1; ϕ( X0 ´))=0 ,∀( x1;x2;....;xn -1 ) ∈ E( X0 ´)
OP Q
ii) ϕ es continua y diferenciable en X0 ' , siendo F´MN GA ´ = K´MN GA ´ = − O N
r :

:
R Q

9
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Veamos un caso particular del teorema de Cauchy – Dini, que es con el que más se trabaja.

Teorema: Consideremos F(x;y;z) = 0

Si se cumple que:
a) ∃SA =(x0;y0;z0) /F(SA =0
b) F es continua en un entorno de SA
c) Existen y son continuas en un E(SA las derivadas parciales de F
∂F 
d)  ≠0
∂z  →
Po

Entonces:

i) Existe un entorno E(xo;yo) ⊆ ℝ( ;existe un entorno E(zo) ⊆ℝy existe una única función
ϕ : E(xo;yo) → E(z o) tal que: ϕ(xo;yo) = zo y F(x;y;ϕ(x;y))=0 ∀(x;y) ∈ E(xo;yo).

ii) ϕ es continua y tiene derivadas parciales en (xo;yo), siendo

F´M 2A , 3A = K´M 2A , 3A = − F´U 2A , 3A = K´U 2A , 3A = −
M U

T T

Deducción del cálculo de las derivadas

Supondremos válida la existencia y la continuidad y sólo demostraremos las fórmulas de derivación
para el caso particular que más utilizaremos:

Es decir suponemos que F(x,y,z) = 0 define z = ϕ ( x; y ) diferenciable /

F (x,y, F 2, 3 )=0 ∀(x,y)∈ E(x0,y0,z0)

Sea H (x,y)=F (x,y, F 2, 3 ). Como F es continua con derivadas parciales continuas en un entorno de
P0 , H es diferenciable y entonces sus derivadas parciales valen 0 en porque F (x,y,z) = 0

Resulta, por la regla de la cadena, ; V M 2A , 3A = 0 = V

M SA + V
T SA . F′M 2A , 3A
Como F´z ( P0 ) ≠ 0 , resulta F 2A , 3A = − OY
V OY P
M R

La demostración es similar para F V U 2A , 3A

Ejemplo 6
En la expresión e y + y 2 − 2 y − x 2 − 1 = 0 , aunque no es posible despejar y en función de x, podemos
averiguar si existe función en el entorno de un punto elegido, por ejemplo (0,0), y en caso afirmativo,
hallar su derivada y también la ecuación de la recta tangente en dicho punto.

10
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Verifiquemos si se cumple la hipótesis del Teorema de Existencia

1. F ( 0 ,0 ) = 0
2. Las derivadas parciales de F(x,y) son Fx′ = 2 x y F y′ = e y + 2 y − 2 que resultan
continuas en cualquier entorno de (0,0).
3. F y′ = e y + 2 y − 2 ≠0
( 0 ,0 )

Como las hipótesis se cumplen, la ecuación define a y en función de x en un E(0,0) y se podrá hallar la
derivada
∂F
y ′ = − ∂x = y
2x
∂F e + 2 y − 2 que es su expresión genérica. En (0,0) resulta y´(0) = 0.
∂y
“y” como variable independiente:
∂F
En este caso, la 3º condición del teorema de existencia deberá ser ≠ 0 en P0 .
∂x
Se propone analizar la existencia de x = h(y) en el origen y también en el punto donde x=1.

Ejemplo 7
Sea la ecuación F ( x , y , z ) = x − y 2 − z + e 2 z − 1 = 0 enla que no es posible despejar z de ninguna
∂z ∂z
manera simbólica. Sin embargo, mediante las expresiones anteriores podremos calcular y en
∂x ∂y
algún punto P0 que satisfaga la ecuación. El punto puede ser por ejemplo (0,0,0).

Veamos si se satisfacen las condiciones del teorema de existencia:

1. F ( 0 ,0 ,0 ) = 0 − 0 2 − 0 + e 2 ⋅0 − 1 = 0
2. Fx′ = 1, F y′ = −2 y , Fz′ = −1 + 2e 2 z .
Todas las derivadas parciales de F son continuas por ser polinómicas o exponenciales.
]
3. Fz′ = − 1 + 2e 2 z ( 0 ,0 ,0 ) = 1 ≠ 0

Observamos que se cumplen las tres condiciones, con lo cual, en un entorno de P0 (0,0,0), existe , es
continua y derivable z = f(x, y).
∂F
∂z
= − ∂x
1
Con lo que =− = −1 y
∂x (0,0,0) ∂F − 1 + 2e 2 z ( 0,0, 0)
∂z ( 0, 0, 0)
∂F
∂z ∂y − 2y
=− =− =0
∂y ( 0 ,0 ,0 )
∂F − 1 + 2e 2 z ( 0 ,0 ,0 )
∂z ( 0 ,0 ,0 )

11
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Plano tangente a superficies dadas en forma implícita

Sea F : A ⊆ ℝ) → ℝ y P0=(x0;y0;zo) ∈A / F(P0)= k, continua con derivadas parciales continuas en un

E(P0) y F´z(P0) ≠ 0; entonces F(x;y;z)= k define z=ϕ (x;y), para todo (x;y) perteneciente a un entorno
de (x0;y0)

Es decir: F(x;y;z) = k es una superficie de nivel de F(x;y;z) a la que pertenece P0

C está asociada al conjunto imagen de un función vectorial / ̅ : [Z, [] → ℝ) / g( t ) = (g1 ( t ); g2 ( t ); g 3 ( t ))

Consideremos una curva C sobre la superficie de nivel, que pase por P0
r
regular en un punto t0 / ̅ (t0)=P0.

Como C está sobre la superficie definida en un entorno de P0por F(x;y;z)= k, resulta:

(Fo ̅ )(t0) = k ⇒( Fo ̅ )’(t0) = 0 ⇒ ∇F( x 0 ; y 0 ; z 0 ) ⋅ g ' ( t 0 )= 0

r r
:F(x0,y0,z0) es no nulo, entonces ∇F( x0 ; y0 ; z0 ) ⊥ gr '( t 0 )
r
Si∇

Esto significa que el gradiente de un campo escalar de tres variables en un punto P0 es perpendicular a
cualquier curva a la rquer pertenezca P0, que esté incluida en la superficie de nivel que pasa por dicho
punto. Por lo tanto, ∇F( P0 ) (si es no nulo) es perpendicular a la superficie de nivel de F que pasa por
P0.

:F(P0)(G − SA = 0⇒F’x(P0). (x - x0) + F’y(P0). (y - y0) + F’z(P0). (z - z0)=0

∇
Entonces, la ecuación del plano tangente a la superficie de nivel de F que pasa por P0 es:

= OY = OY
MJM UJU TJT
OY P \ R
y la recta normal tiene por ecuación:
(conF’x(P0)≠0; F’y(P0)≠0; F’z(P0)≠0 )

Es posible obtener la misma ecuación del plano tangente si se parte de la ecuación del mismo para
funciones definidas explícitamente.

En efecto: si z = f(x;y) está definida implícitamente por F(x;y;z)=0, y P0=(x0;y0;z0), se tiene

F 'x (x 0 ; y 0 ; z 0 ) F'y (x0 ; y 0 ; z0 )

f 'x (x 0 ; y 0 ) = - y f 'y (x0 ; y 0 ) = -
F'z (x 0 ; y 0 ; z 0 ) F'z (x 0 ; y 0 ; z0 )

Reemplazando en la ecuación del plano tangente para z=F(x;y) :

f 'x (x0 ; y 0 ).(x - x 0 ) + f 'y (x0 ; y 0 ).(y - y 0 ) - (z - f(x 0 ; y 0 )) = 0

F 'x (x0 ; y 0 ; z 0 ) F 'y (x0 ; y 0 ; z 0 )

resulta: - (x - x 0 ) - (y - y 0 ) - (z - z 0 ) = 0
F 'z (x0 ; y 0 ; z 0 ) F 'z (x 0 ; y 0 ; z 0 )

F'x(x0 ;y0 ;z0 )(x- x0 )+ F'y(x0 ;y0 ;z0 )(y- y0 )+ F'z(x0 ;y0 ;z0 ).(z- z0 ) = 0
Ec. del plano tangente a una superficie definida implícitamente

12
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

En consecuencia, las ecuaciones de la recta normal son:

x - x0 y - y0 z - z0
= =
F 'x (x0 ; y 0 ; z 0 ) F 'y (x 0 ; y 0 ; z 0 ) F 'z (x 0 ; y 0 ; z 0 )
Ecs. de la recta normal a una superficie definida implícitamente,
si las tres derivadas son distintas de 0

r Propiedades
1. El gradiente de un campo escalar de tres variables en un punto P0 es perpendicular a la superficie de
r
nivel de F que pasa por P0 (demostración en pág. 16).
2. De forma similar a cómo se demostró la propiedad 1., es posible demostrar que el gradiente de un
campo escalar de dos variables en (x0;y0) es perpendicular a la curva de nivel que pasa por dicho
punto.

Ejemplo 8: Para hallar la ecuación del plano tangente a la superficie definida por:
2x2 +4y2-8z2 +4x-8=0 en (0;2;1), consideramos F(x;y;z)= 2x2 +4y2-8z2 +4x-8, como
→ 
∇ F = (4 x + 4;8 y;−16z) (0;2;1) = (4;16;−16)
 (0;2;1)
resulta que la ecuación del plano tangente es: 4.(x-0)+16(y-2) –16.(z-1)=0

O sea: 4x + 16y –16z= 16 , o bien: x+4y-4z=4

Funciones y campos definidos implícitamente por un sistema

Introducción
Recordemos lo visto en Álgebra sobre sistemas de ecuaciones lineales:
 3x + 2 y − 5 z = 1
dado el sistema 
 − 4 x + y + 8 z = −2
aplicando el Teorema de Rouché-Frobenius resulta un sistema compatible indeterminado en el cual dos
variables quedan en función de una tercera.

Por ejemplo se podrían obtener x = x (z) e y = y(z) .

En este caso resulta x = 1 ( 5 + 21z ) e y = − 2 ( 1 + 2 z ) .

11 11

Veamos su interpretación geométrica. Cada una de las ecuaciones del sistema anterior, tiene como
representación gráfica un plano y por ser un sistema compatible, estas superficies tienen como
 x = 1 ( 5 + 21z )
 11

intersección una recta, cuyas ecuaciones paramétricas son  y = − 112 ( 1 + 2z )

 z = z

13
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Observaciones:

1. En el ejemplo anterior se tomaron x e y como variables dependientes, pero, podrían haberse

tomado alternativamente x y z o bien yyz.
2. El sistema lineal es un caso particular, pero el razonamiento, vale para cualquier sistema de la
 F ( x, y , z ) = 0
forma  , que en general, representa dos superficies cuya intersección, si existe, es
G ( x, y, z ) = 0
un punto o una curva.

3. Puede ocurrir que no sea posible despejar ningún par de variables en función de la tercera (por
ejemplo: en ecuaciones que combinen funciones trascendentes y algebraicas o algunas
polinómicas de grado superior a tres). Pero, hay casos en que la curva intersección existe.

Sin embargo, a pesar de no poder escribir explícitamente la función vectorial cuya imagen sea dicha
curva, es posible encontrar la ecuación de la recta tangente y del plano normal en un punto
determinado.

Si la C es una curva intersección de dos superficies S1 y S2

S1 Como C⊆S1, la recta tangente a C en P0 está

incluida en el plano tangente a S1 en el mismo

tangente es perpendicular a @% el vector normal

C punto. Por lo tanto, el vector director de la recta

S2 del plano tangente a S1.

Se puede pensar lo mismo con S2.

es al mismo tiempo perpendicular a @% y @( , y en

Por lo tanto, el vector directo de la recta tangente

consecuencia es posible obtenerlo mediante @% x@(

 x 2 + y 2 + z 2 − 1 = 0
Ejemplo 9: Si  , aquí ya es comprometido despejar z pues aparecería más de una
 y 3 − y − x = 0
función. Se trata de una superficie esférica y una cilíndrica recta de directriz polinómica.

14
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Representemos solamente la intersección de ambas superficies correspondientes a z ≥ 0.

Curva alabeada como intersección

de las dos superficies Curva alabeada

Puede ser necesario buscar la ecuación de la recta tangente a un punto de la curva, por ejemplo el
(1,0,1). En ese caso debemos encontrar los normales a cada una de las superficies en dicho punto. El
tangente a la curva resulta perpendicular a cada uno de los normales.
ur r
Si F(x,y,z)=x2+y2+z2-1, ∇F (1, 0,1) = (2 x, 2 y , 2 z ) (1,0,1) = (2, 0, 2) = n1
: 1,0,1 = −1,33 ( − 1,0 %,A,% = −1,0,0 = @]^(
Y G(x,y,z)= y3-y-x, ∇

Como el director de la recta tangente en dicho punto es perpendicular a ambos normales, es posible
obtenerlo realizando el producto vectorial entre los normales, o sea: (-4,-2,-4).

Entonces la ecuación de la recta tangente es: (x,y,z)=(1,0,1)+t(-4,-2,-4)

Autoevaluación

1. Sabiendo que la función vectorial ^ : IR→IR4, ^ = >?@ > , _ − , Z` >?@ √1 − >( ,

y el campo escalar u( x , y , z ,t ) = x − 3 y + 3z + t 2 , u:IR4→ IR, se pide hallar
a ) u o ^ a través del diagrama de árbol
b) u o ^utilizando el producto de sus matrices jacobianas

2. Hallar la ecuación del plano tangente a la superficie de nivel que pasa por el punto (0,1,0) de
u = cos zx + x 2 − z − y 3 y graficar la superficie pedida con su plano tangente.

15
Análisis Matemático II Elena Arlauskas, Julio Ferreiro y Gabriela Righetti

Respuestas al punto de partida

1. T´(t) = 2t
2. En el entorno del (1,1) f está creciendo
estrictamente.
1.5 Su recta tangente tiene ecuación y = 0,55 x + 0,45 .
f tiene un máximo relativo en ( 1.24348 ; 1.06538)
1.25
que además es absoluto en el intervalo[0,5 ;4].
1
También tiene mínimo relativo en (2,591; 0,8979).
El mínimo absoluto está en el extremo inferior del
0.75 intervalo y su valor es f (1/2) = 0.539406.
0.5

0.25

1 2 3 4 5 6

Respuestas a la autoevaluación
b cde^
bf
1. b) = 6+2t-15t2+cos(2t) (la composición resulta una función escalar)

Bibliografía utilizada

• Hebe T. Rabuffetti. Introducción al Análisis Matemático (Cálculo 2) .Buenos Aires:

Editorial El Ateneo, 1983.

• George B. Thomas y Ross L. Finney. Cálculo Varias Variables, 9a edición. México:

Addison Wesley Longman de México, 1999.

• Jerrold E. Marsden y Anthony Tromba. Cálculo vectorial. : Addison Wesley Longman de

México, 1991.
•

Bibliografía de consulta

• Juan de Burgos Román. Cálculo Infinitesimal de Varias Variables. Madrid: McGRAW-

HILL / INTERAMERICANA DE ESPAÑA, 1995.

16