Funciones implcitas

Una funcin de la forma y = f (x ), se denomina funcin explcita,

dado que y se expresa explcitamente como una funcin de x.
Si la expresin hubiese sido F (y , x ) = 0, directamente no se puede
observar una funcin explcita. Ms an, en general, la funcin
implicada y = f (x ), cuya forma espcica no siempre es posible
concerse, se denomina funcin implcita.
En trminos generales, una ecuacin F (y , x1 , x2 ..., xm ) = 0, podra
denir una funcin implcita y = f (x1 , ..., xm ). Para que ello ocurra se
deben satisfacer las condiciones del Teorema de la Funcin Implcita.

()

1 / 31

Funciones implcitas
Theorem (Teorema de la Funcin Implcita)
Dado F (y , x1 , x2 ..., xm ) = 0, si
1

la funcin F tiene derivadas parciales continuas Fy , F1 ,..., Fm ; y

en un punto (y0 , x10 , ..., xm 0 ) que satisface F , Fy 6= 0;

entonces existe una vecindad N que resulta m-dimensional alrededor de

(x10 , ..., xm 0 ), en la cual y es una funcin denida implcitamente de las
variables x1 , ..., xm en la forma y = f (x1 , ..., xm ).
Esta funcin implcita satisface y0 = f (x10 , ..., xm 0 ), y asimismo,
satisface la ecuacin F (y , x1 , x2 ..., xm ) = 0 para cada m-tupla
(x1 , x2 ..., xm ) en la vecindad N, convirtindola en una identidad.
La funcin implcita f es continua y tiene derivadas parciales
continuas f1 , ..., fm .
()

2 / 31

Funciones implcitas
Example
Sea la ecuacin
F (y , x ) = x 2 + y 2

9=0

Se observa que Fy = 2y y Fx = 2x son continuas. Luego, Fy no es cero

excepto cuando y = 0, es decir excepto en los puntos ( 3, 0) y (3, 0). Por
tanto, alrededor de cualquier punto que satisface la ecuacin, excepto en
( 3, 0) y (3, 0), se puede construir una vecindad en la que se dene una
funcin implcita y = f (x ).

()

3 / 31

Funciones implcitas

Algunas precisiones
Las condiciones citadas en el teorema son de la naturaleza de
condiciones sucientes (pero no necesarias), por lo que si Fy = 0 en
un punto que satisface F (y , x1 , x2 ..., xm ) = 0, no se puede usar el
teorema para negar la existencia de una funcin implcita alrededor de
ese punto.
El teorema no indica la forma especca que tendr la funcin
implcita f , y tampoco indica el tamao exacto que tendr la
vecindad en la cual est denida.

()

4 / 31

Derivadas de funciones implcitas

Si de la ecuacin F (y , x1 , x2 ..., xm ) = 0 es posible despejar y ,
podemos escribir la funcin y = f (x1 , ..., xm ) en forma explcita y
hallar sus derivadas por los mtodos conocidos.
Si y = f (x1 , ..., xm ) no se puede resolver en forma explcita, pero
existe en virtud de la aplicacin del teorema, entonces es posible
obtener las derivadas deseadas.
Se utiliza la regla de la funcin implicita, la cual depende de los
siguientes hechos bsicos
1

Si dos expresiones son idnticamente iguales, sus respectivas

diferenciales totales deber ser iguales.
La diferenciacin de una expresin que tiene que ver con y , x1 , x2 ..., xm
producir una expresin en la que intervienen las diferenciales
dy , dx1 , dx2 ..., dxm .
La diferencial de y , dy , se puede sustituir, as que no importa el hecho
de que y no sea explcita.
()

5 / 31

Derivadas de funciones implcitas

Sea F (y , x1 , ..., xm ) = 0, la cual dene una funcin implcita, entonces
dF
Fy dy + F1 dx1 + ... + Fm dxm

= 0
= 0

Puesto que la funcin implcita y = f (x1 , ..., xm ), tiene la diferencial total

dy = f1 dx1 + ... + fm dxm
Podemos sustituirla en la diferencial hallada inicialmente, para obtener

(Fy f1 + F1 )dx1 + ... + (Fy fm + Fm )dxm = 0

Dado, que todas las dxi son independientes entre si, cada expresin entre
parntesis debe anularse, por lo que
fi
()

y
=
xi

Fi
Fy

(i = 1, 2, ..., m)
6 / 31

Derivadas de funciones implcitas

Examples
1

Sea F (y , x )

3x 4 = 0
dy
=
dx

Sea F (y , x )

x2 + y2

Fx
=
Fy
9=0

dy
=
dx
3

Sea F (y , x, w )

Fx
=
Fy

2x
=
2y

y 3 x 2 + w 3 + yxw

3=0

y
=
x
()

12x 3
= 12x 3
1

Fx
=
Fy

x
y

2y 3 x + yw
3y 2 x 2 + xw
7 / 31

Derivadas de funciones implcitas

Example
Sea F (Q, K , L) = 0, la cual dene implcitamente una funcin de
produccin Q = f (K , L), entonces
PmgK

Q
=
K

FK
FQ

PmgL

Q
=
L

FL
FQ

K
=
L

()

FL
FK

8 / 31

Derivadas de funciones implcitas

Extensin al caso de ecuaciones simultneas
El teorema de la funcin implcita posee una versin ms general que trata
con las condiciones en las que un conjunto de ecuaciones simultneas
F 1 (y1 , ..., yn ; x1 , ..., xm ) = 0
F 2 (y1 , ..., yn ; x1 , ..., xm ) = 0
..
.
F n (y1 , ..., yn ; x1 , ..., xm ) = 0
dene con toda seguridad un conjunto de funciones implcitas
y1 = f 1 (x1 , ..., xm )
y2 = f 2 (x1 , ..., xm )
..
.
yn = f n (x1 , ..., xm )
()

9 / 31

Derivadas de funciones implcitas

Theorem (Teorema Generalizado de la Funcin Implcita)
Dado un sistema de ecuaciones
F 1 (y1 , ..., yn ; x1 , ..., xm ) = 0
..
.
F n (y1 , ..., yn ; x1 , ..., xm ) = 0
Si
1

todas las funciones F 1 , ..., F n tienen derivadas parciales continuas

respecto a todas las variables y y x; y
en un punto (y10 , ..., yn0 ; x10 , ..., xm 0 ) que satisface el sistema, el
siguiente jacobiano no es cero
(F 1 ,...,F n )
(y1 ,...,yn )

jJ j
()

F 1
y1

F 1
y2

F 1
yn

F n

F n

y1

y2

F n
yn

..
.

..
.

..
.

6= 0
10 / 31

Derivadas de funciones implcitas

Theorem (Teorema Generalizado de la Funcin Implcita (cont.))
Entonces, existe una vecindad m-dimensional de (x10 , ..., xm 0 ), N, en la
cual las variables y1 , ..., yn son funciones implcitas de las variables
x1 , ..., xm en la forma
y1 = f 1 (x1 , ..., xm )
..
.
yn = f n (x1 , ..., xm )
Estas funciones satisfacen
y10 = f 1 (x10 , ..., xm 0 )
..
.
yn0 = f n (x10 , ..., xm 0 )
y cumplen el sistema inicial para toda m-tupla (x1 , ..., xm ) en la vecindad
N; conformando un conjunto de identidades. Las funciones f 1 , ..., f n son
continuas y tienen derivadas parciales continuas respecto a las x.
()

11 / 31

Derivadas de funciones implcitas

Sean F 1 , ..., F n las ecuaciones de un sistema que dene a las funciones
implcitas f 1 , ..., f n , entonces
dF j = 0
F 1
dy1 +
y1
2
F
dy1 +
y1

F 1
dy2 +
y2
2
F
dy2 +
y2

F n
F n
dy1 +
dy2 +
y1
y2

()

(j = 1, ..., n)

F 1
dyn =
yn
2
F
+
dyn =
yn
..
.

F 1
dx1 +
x1
2
F
dx1 +
x1

F n
dyn =
yn

F n
dx1 +
x1

F 1
dxm
xm
2
F
+
dxm
xm

F n
dxm
xm

12 / 31

Derivadas de funciones implcitas

Adems, a partir de las funciones implcitas f 1 , ..., f n se puede escribir las
diferenciales de las variables yj como
y1
dx2 +
x2
y2
dx2 +
x2
..
.
yn
yn
dyn =
dx1 +
dx2 +
x1
x2
y1
dx1 +
x1
y2
dy2 =
dx1 +
x1

dy1 =

y1
dxm
xm
y2
+
dxm
xm

yn
dxm
xm

y se pueden reemplazar en el sistema anterior derivado del clculo de

diferenciales.

()

13 / 31

Derivadas de funciones implcitas

Analizando el caso cuando slo cambia x1 , entonces dx1 6= 0 y

dx2 =
= dxm = 0 en las expresiones previas permitirn obtener el
siguiente sistema de ecuaciones
F 1
y2
F 2
+
y2

y2
x1
y2
x1

F n
y2

y2
x1

F 1
y1
F 2
y1

y1
x1
y1
x1

F n
y1

y1
x1

()

+
..
.

F 1
yn
F 2
+
yn

yn
x1
yn
x1

F n
yn

yn
x1

F 1
x1
F 2
x1
F n
x1

14 / 31

Derivadas de funciones implcitas

El cual puede expresarse como
2
6
6
6
6
6
6
6
6
4

F 1
y1
F 2
y1
..
.
F n
y1

F 1
y2
F 2
y2
..
.
F n
y2

F 1
yn
F 2
yn
..
.
F n
yn

32
76
76
76
76
76
76
76
76
56
4

y1
x1
y2
x1
..
.
yn
x1

7 6
7 6
7 6
7 6
7 6
7=6
7 6
7 6
7 4
5

F 1
x1
F 2
x1
..
.
F n
x1

3
7
7
7
7
7
7
7
7
5

y puede resolverse mediante la regla de Cramer, cuya solucin puede

expresarse de la siguiente forma
yi
x1

()

j Ji j
jJ j

(j = 1, 2, ..., n)

15 / 31

Derivadas de funciones implcitas

Example
Las siguientes 3 ecuaciones
xy
y

w3

w3 + z3

= 0
3z = 0
2zw = 0
w

F 1 (x, y , w ; z ) = 0
F 2 (x, y , w ; z ) = 0
F 3 (x, y , w ; z ) = 0

se cumplen en el punto P : (x, y , w ; z ) = ( 41 , 4, 1, 1). Las funciones F i

poseen derivadas continuas. As, si el jacobiano jJ j es no cero en el punto
P, se puede usar el teorema de la funcin implcita para hallar dx /dz.
Tomando la diferencial total del sistema
ydx + xdy
dy

(3w 2
()

= 0
3w dw = 3dz
2z )dw = (2w
dw

3z 2 )dz
16 / 31

Derivadas de funciones implcitas

Example (cont.)
Dividiendo entre dz y expresando en forma matricial
2
3 2 dx 3 2
3
y x
1
0
dz
7
dy
4 0 1
56
5
3w 2
3
4 dz 5 = 4
2
2
dw
0 0 (3w
2z )
(2w 3z )
dz

En el punto P el determinante jacobiano

jJ j =

Fx1 Fy1 Fw1

Fx2 Fy2 Fw2
Fx3 Fy3 Fw3

()

y x
1
0 1
3w 2
2
0 0 (3w
2z )

= y (3w 2

2z ) = 4 6= 0

17 / 31

Derivadas de funciones implcitas

Example (cont.)
Usando la regla de Cramer para hallar dx /dz, se obtiene
0
3

(2w

dx
=
dz

()

x
1
1
3w 2
3z 2 ) 0 (3w 2 2z )
jJ j

0 14
3 1
1 0
4

1
3
1

1
4

18 / 31

Derivadas de funciones implcitas

Example
Sea el modelo de ingreso nacional
Y
C

I0

G0 = 0

(Y

T) = 0

= 0

Si se toma a las variables endgenas (Y , C , T ) como (y1 , y2 , y3 ), y las

variables exgenas y parmetros (I0 , G0 , , , , ) como
(x1 , x2 , x3 , x4 , x5 , x6 ) entonces el lado izquierdo de cada ecuacin puede
considerarse de la forma F j (Y , C , T ; I0 , G0 , , , , ).
Evaluando el jacobiano

jJ j =
()

F 1
Y
F 2
Y
F 3
Y

F 1
C
F 2
C
F 3
C

F 1
T
F 2
T
F 3
T

1 0
1
0 1

=1

+ 6= 0
19 / 31

Derivadas de funciones implcitas

Example (cont.)
Entonces se puede tomar Y , C , y T como funciones implcitas de
(I0 , G0 , , , , ) alrededor de cualquier punto que cumple el sistema
inicial y en el punto mismo.
Pero un punto que cumple el sistema es una solucin de equilibrio, por lo
que dado el teorema de la funcin implcita se puede establecer
Y
C
T

= f 1 (I0 , G0 , , , , )
= f 2 (I0 , G0 , , , , )
= f 3 (I0 , G0 , , , , )

En ese sentido, las derivadas parciales de las funciones implcitas, como

Y /I0 y Y /G0 son de la naturaleza de las derivadas estticas
comparativas.
()

20 / 31

Derivadas de funciones implcitas

Example (cont.)
Dado ello, se puede obtener Y /G0 de la
2
2 1
3
Y
F
F 1
F 1
6 G 0
Y
C
T
6 F 2 F 2 F 2 7 6 C
6 G 0
4 Y
C
T 5 4
F 3
F 3
F 3
Y

1
4

()

T
G 0

1 0 6
6
1 56
4
0 1

Y
G 0
C
G 0
T
G 0

siguiente forma
3
2 F 1 3
7
G
7 6 F 02 7
7 = 4 G 0 5
5
F 3
G 0

2 3
1
7
7 4 5
7= 0
5
0
21 / 31

Derivadas de funciones implcitas

Example (cont.)
Finalmente, mediante la regla de Cramer

Y
=
G0

()

1
0
0

1 0
1
0 1
jJ j

1
+

22 / 31

Esttica comparativa de modelos de funciones generales

Modelo de mercado
Sea el modelo
Qd
Qd
Qs

= Qs
= D (P, Y0 )
= S (P )

(D/P < 0; D/Y0 > 0)

(dS /dP > 0)

Expresndolo en un sistema de ecuaciones simultneas, se obtiene

F 1 (P, Q, Y0 ) = D (P, Y0 )
2

F (P, Q, Y0 ) = S (P )

Q=0

Q=0

Para evaluar el teorema de la funcin implcita, se asume que las funciones

de oferta y demanda poseen derivadas continuas, por lo que las derivadas
de F 1 y F 2 tambin lo sern.
()

23 / 31

Esttica comparativa de modelos de funciones generales

El jacobiano de las variables endgenas (P y Q) debe no ser cero, lo cual

se cumple dado que

jJ j =

F 1
P
F 2
P

F 1
Q
F 2
Q

D
P
dS
dP

1
1

dS
dP

D
>0
P

Entonces, si existe una solucin de equilibrio, el teorema de la funcin

implcita permite denir
P = P (Y0 )
Q = Q (Y0 )

adems que

D (P , Y0 ) Q
S (P ) Q

0
0

A partir de ellas se pueden obtener dP /dY0 y dQ /dY0

()

24 / 31

Esttica comparativa de modelos de funciones generales

Especcamente, se puede formular
"
#2
F 1
F 1
P
Q
4
2
2
F
P

F
Q

D
P
dS
dP

1
1

Luego, por regla de Cramer

2
4

dP
dY 0
dQ
dY 0

5=

dQ
dY0
()

1
1

D
P
dS
dP

D
Y 0

jJ j

D
Y 0

5=

jJ j

F 1
Y 0
F 2
Y 0

dP
dY 0
dQ
dY 0

D
Y 0

dP
dY0

"

D
Y 0

jJ j

>0

dS D
dP Y 0

jJ j

>0
25 / 31

Esttica comparativa de modelos de funciones generales

Modelo IS-LM
El mercado de bienes se describe mediante el siguiente conjunto de
ecuaciones
Y = C +I +G

C = C (Y T )
G = G0
I = I (r )
T = T (Y )

Se asume que el consumo es estrctamente creciente en (Y T ),

entonces C = C (Y d ) donde dC /dY d es la propensin marginal a
consumir (0 < C 0 (Y d ) < 1).
Se asume que el gasto de inversin es estrctamente decreciente en r ,
esto es, dI /dr = I 0 (r ) < 0
El gasto pblico es exgeno y los impuestos son una funcin creciente
del ingreso. Asimismo la tasa marginal de impuesto
0 < dT /dY = T 0 (Y ) < 1.
()

26 / 31

Esttica comparativa de modelos de funciones generales

Sustituyendo se obtiene la curva IS
Y = C (Y

T (Y )) + I (r ) + G0

con dos variables endgenas (Y y r ) que producen equilibrio en el mercado

de bienes.
Calcular la pendiente de esta curva, implica expresar la ecuacin como una
identidad y tomar la diferencial total respecto a Y y r
Y
dY

C (Y
C 0 (Y d ) 1

1
dr
=
dY

()

T (Y ))

I (r )

T 0 (Y ) dY

C 0 (Y d ) [1
I 0 (r )

G0

I 0 (r )dr = 0

T 0 (Y )]

<0

27 / 31

Esttica comparativa de modelos de funciones generales

El mercado monetario se describe mediante las siguientes ecuaciones
Md
M
M

= L(Y , r )
= M0s
= Ms

[demanda de dinero]

LY > 0 y Lr < 0

[oferta de dinero]
[condicin de equilibrio]

Sustituyendo se obtiene
L(Y , r )

M0s

Para hallar la pendiente, tomamos la diferencial total

LY dY + Lr dr = 0
dr
=
dY

()

LY
>0
Lr

28 / 31

Esttica comparativa de modelos de funciones generales

El estado de equilibrio macroeconmico simultneo de los mercados de
bienes y monetario se describe mediante el siguiente sistema
Y
L(Y , r )

C (Y d ) + I (r ) + G0
M0s

que de manera implcita denen las variables endgenas Y y r , como

funciones implcitas de las variables exgenas G0 y M0s . Tomando la
diferencial total del sistema
dY

()

C 0 (Y d ) 1

T 0 (Y ) dY

I 0 (r )dr

= dG0
LY dY + Lr dr = dM0s

29 / 31

Esttica comparativa de modelos de funciones generales

En forma matricial
1

C 0 (Y d ) [1
LY

T 0 (Y )]

I 0 (r )
Lr

dY
dr

dG0
dM0s

El determinante jacobiano es

jJ j =

C 0 (Y d ) [1
LY

T 0 (Y )]

I 0 (r )
Lr

<0

lo cual satisface el teorema de la funcin implcita, y es posible expresar

Y = Y (G0 , M0s )
r = r (G0 , M0s )

()

30 / 31

Esttica comparativa de modelos de funciones generales

Ello nos permite llevar a cabo el ejercicio de esttica comparativa para
determinar lo efectos de un cambio de una de las variables exgenas
(G0 , M0s ) en los valores de equilibrio Y y r .
Considerando como ejemplo, un cambio en G0 , se obtiene
#
"
Y
1
1 C 0 [1 T 0 ]
I0
G 0
=
r
0
LY
Lr
G
0

Luego, por regla de Cramer

Y
=
G0
1
r
=
G0
()

1
0

I0
Lr
jJ j

C 0 [1 T 0 ] 1
LY
0
jJ j

Lr
>0
jJ j

LY
>0
jJ j
31 / 31