UTEC · FICA

Matemática IV

Derivación Parcial Implícita

Índice

Teoría matemática

Idea para el alumno

Cuando una variable no está despejada, sino definida implícitamente por una ecuación F(x,y)=0F(x, y) = 0, aún podemos hallar su derivada sin resolver la ecuación. La clave es derivar toda la ecuación y aislar la derivada buscada.

Caso de una variable

Si F(x,y)=0F(x, y) = 0 define a yy como función implícita de xx, y FF es continuamente diferenciable con Fy0F_y \neq 0, entonces:

dydx=Fx(x,y)Fy(x,y).\frac{d y}{d x} = -\frac{F_x(x, y)}{F_y(x, y)}.

Cómo se lee: derivamos la ecuación implícita tratando yy como función de xx, lo que introduce dy/dxdy/dx en la derivada FyF_y. Luego despejamos.

Teorema de la función implícita (idea)

Bajo las hipótesis (FF continuamente diferenciable, Fy0F_y \neq 0), existe una función y=φ(x)y = \varphi(x) definida en un entorno del punto, que satisface F(x,φ(x))0F(x, \varphi(x)) \equiv 0 y cuya derivada viene dada por la fórmula anterior. Si Fy=0F_y = 0, el teorema no aplica y la derivada puede no existir.

Sistema de ecuaciones implícitas

Si tenemos un sistema

{F(x,y,u,v)=0G(x,y,u,v)=0\begin{cases} F(x, y, u, v) = 0 \\ G(x, y, u, v) = 0 \end{cases}

que define implícitamente (u,v)(u, v) como funciones de (x,y)(x, y) (con variables libres x,yx, y e incógnitas u,vu, v), entonces las derivadas se obtienen resolviendo un sistema lineal con el Jacobiano respecto a las incógnitas:

(FuFvGuGv)(uxvx)=(FxGx),\begin{pmatrix} F_u & F_v \\ G_u & G_v \end{pmatrix} \begin{pmatrix} u_x \\ v_x \end{pmatrix} = -\begin{pmatrix} F_x \\ G_x \end{pmatrix},

y análogamente para uy,vyu_y, v_y cambiando el lado derecho a (Fy,Gy)T(-F_y, -G_y)^T. La condición de existencia es que el Jacobiano sea invertible: detJ0\det J \neq 0.

Visualización

# Figura Mensaje
1 Implicitas Superficie 3d "Una superficie F(x,y,z)=0F(x,y,z)=0 en el espacio"
2 Derivadas Implicitas Xy "Curva implícita con pendiente en un punto"
3 Sistema Dos Ecuaciones "Dos curvas que se cortan en un punto"

Ejemplo Forma 1: Derivada implícita de una variable

Problema

F(x,y)=x2+y225=0.F(x, y) = x^2 + y^2 - 25 = 0.

Hallar dy/dxdy/dx en los puntos (3,4)(3, 4), (0,5)(0, 5), (3,4)(3, -4) y discutir (5,0)(5, 0).

Resolución

Analítica
Diferenciador (Ejemplo Forma 1 · Analítica)
  • Dato. Ecuación F(x,y)=0F(x, y) = 0 con FF continuamente diferenciable y Fy0F_y \neq 0 en el punto.
  • Herramienta. Calcular FxF_x y FyF_y, aplicar dydx=FxFy\dfrac{dy}{dx} = -\dfrac{F_x}{F_y}.
  • Bifurcación. Paso 1: no se despeja yy; se deriva la ecuación implícita directamente.
Verificación (Ejemplo Forma 1 · Analítica)
  1. Derivadas parciales de FF:
Fx=2x,Fy=2y.F_x = 2x,\qquad F_y = 2y.
  1. Aplicar la fórmula:
dydx=FxFy=2x2y=xy,y0.\frac{dy}{dx} = -\frac{F_x}{F_y} = -\frac{2x}{2y} = -\frac{x}{y},\quad y \neq 0.
  1. Verificación con la fórmula explícita: y=25x2y = \sqrt{25 - x^2} da dy/dx=x/25x2=x/ydy/dx = -x/\sqrt{25-x^2} = -x/y. ✓

  2. Evaluación en cuatro puntos:

Punto dy/dxdy/dx Interpretación
(3,4)(3, 4) 3/4=0,75-3/4 = -0{,}75 Pendiente negativa en el primer cuadrante
(0,5)(0, 5) 00 Horizontal en el tope
(3,4)(3, -4) 3/4=0,753/4 = 0{,}75 Pendiente positiva en el cuarto cuadrante
(5,0)(5, 0) no definida Fy=0F_y = 0: la circunferencia es vertical
Errores comunes (Ejemplo Forma 1 · Analítica)
  • Confundir FxF_x con FyF_y (intercambiar numerador y denominador).
  • Olvidar el signo negativo.
  • Aplicar la fórmula donde Fy=0F_y = 0 (la derivada no está definida; coincide con tangente vertical).

Ejemplo Forma 2: Sistema implícito 2×2

Problema

{F(x,y,u,v)=u+vxy=0G(x,y,u,v)=uvx+y=0\begin{cases} F(x, y, u, v) = u + v - x - y = 0 \\ G(x, y, u, v) = u - v - x + y = 0 \end{cases}

Hallar u/x\partial u/\partial x, u/y\partial u/\partial y, v/x\partial v/\partial x, v/y\partial v/\partial y.

Resolución

Analítica
Diferenciador (Ejemplo Forma 2 · Analítica)
  • Dato. Sistema F=0,G=0F=0, G=0 en (x,y,u,v)(x, y, u, v) con F,GF, G diferenciables y detJ0\det J \neq 0.
  • Herramienta. Calcular Jacobiano JJ (respecto a incógnitas u,vu, v) + lado derecho (respecto a variables libres x,yx, y) + resolver sistema lineal.
  • Bifurcación. Paso 2: aparece un sistema lineal (no una sola ecuación). Se resuelve por inversión de matriz o sustitución.
Verificación (Ejemplo Forma 2 · Analítica)
  1. Jacobiano del sistema respecto a (u,v)(u, v):
J=(FuFvGuGv)=(1111),detJ=20.J = \begin{pmatrix} F_u & F_v \\ G_u & G_v \end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix},\qquad \det J = -2 \neq 0.
  1. Lado derecho (derivadas respecto a xx):
(FxGx)=(11).\begin{pmatrix} F_x \\ G_x \end{pmatrix} = \begin{pmatrix} -1 \\ -1 \end{pmatrix}.
  1. Resolver J(ux,vx)T=(Fx,Gx)TJ \cdot (u_x, v_x)^T = -(F_x, G_x)^T:
J1=12(1111)=12(1111).J^{-1} = -\tfrac{1}{2}\begin{pmatrix} -1 & -1 \\ -1 & 1 \end{pmatrix} = \tfrac{1}{2}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}. (uxvx)=J1(FxGx)=12(1111)(11)=(10).\begin{pmatrix} u_x \\ v_x \end{pmatrix} = -J^{-1}\begin{pmatrix} F_x \\ G_x \end{pmatrix} = -\tfrac{1}{2}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}\begin{pmatrix} -1 \\ -1 \end{pmatrix} = \begin{pmatrix} 1 \\ 0 \end{pmatrix}.
  1. De forma análoga, con el lado derecho (Fy,Gy)T=(1,1)T(-F_y, -G_y)^T = (1, -1)^T:
(uyvy)=12(1111)(11)=(01).\begin{pmatrix} u_y \\ v_y \end{pmatrix} = -\tfrac{1}{2}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}\begin{pmatrix} 1 \\ -1 \end{pmatrix} = \begin{pmatrix} 0 \\ 1 \end{pmatrix}.
  1. Resultado y verificación por sustitución directa:
Derivada Valor
u/x\partial u/\partial x 11
u/y\partial u/\partial y 00
v/x\partial v/\partial x 00
v/y\partial v/\partial y 11

Por sustitución directa en el sistema: u=xu = x, v=yv = y satisface ambas ecuaciones, y u=(1,0)\nabla u = (1, 0), v=(0,1)\nabla v = (0, 1). ✓

Errores comunes (Ejemplo Forma 2 · Analítica)
  • Construir mal el Jacobiano: las columnas son derivadas respecto a las incógnitas (u,v)(u, v), no a las variables libres (x,y)(x, y).
  • Olvidar el signo negativo en la fórmula del sistema.
  • Asumir detJ0\det J \neq 0 sin verificarlo (si detJ=0\det J = 0, el sistema no tiene solución única y la fórmula no aplica).

Errores comunes transversales

  1. Aplicar la fórmula donde Fy=0F_y = 0 (o detJ=0\det J = 0): la derivada no está definida.
  2. Olvidar el signo negativo en dy/dx=Fx/Fydy/dx = -F_x/F_y o en el sistema lineal.
  3. Construir mal el Jacobiano: las columnas son derivadas respecto a las incógnitas, no a las variables libres.
  4. Despejar antes de derivar (en Forma 1): usualmente es peor que derivar implícitamente.