UTEC · FICA

Matemática IV

Diferencial Total y Aplicaciones

Índice

Teoría matemática

Idea para el alumno

Si f(x,y)f(x,y) cambia cuando xx e yy cambian, el cambio total de ff es la suma de los cambios debidos a cada variable, corregidos por sus derivadas parciales:

df=fxdx+fydy.df = \frac{\partial f}{\partial x}\,dx + \frac{\partial f}{\partial y}\,dy.

Es la generalización natural de la diferencial de una variable: en lugar de "una dxdx", ahora hay dos contribuciones (dxdx y dydy), cada una ponderada por su derivada parcial.

Definición formal

Si ff es diferenciable en (a,b)(a,b), el diferencial total es:

df(a,b):=fx(a,b)dx+fy(a,b)dy.df(a,b) := f_x(a,b)\,dx + f_y(a,b)\,dy.

Cómo se lee: un cambio pequeño dxdx en xx produce un cambio fxdxf_x \, dx en ff; un cambio pequeño dydy en yy produce un cambio fydyf_y \, dy. El cambio total es la suma (válido en primera aproximación).

Aproximación lineal

Si ff es diferenciable,

f(a+dx,b+dy)f(a,b)+df(a,b)=f(a,b)+fx(a,b)dx+fy(a,b)dy.f(a+dx,\, b+dy) \approx f(a,b) + df(a,b) = f(a,b) + f_x(a,b)\,dx + f_y(a,b)\,dy.

Esta aproximación es exacta en el límite (dx,dy)(0,0)(dx, dy) \to (0,0) y es buena para cambios pequeños.

Propagación de errores

Si xx e yy se miden con incertidumbre (Δx,Δy)(\Delta x, \Delta y), la incertidumbre propagada a ff es:

ΔffxΔx+fyΔy(caso pesimista).\Delta f \approx |f_x|\,\Delta x + |f_y|\,\Delta y \quad \text{(caso pesimista)}.

Variantes más finas usan la suma cuadrática (independencia estadística):

Δf(fxΔx)2+(fyΔy)2.\Delta f \approx \sqrt{(f_x\,\Delta x)^2 + (f_y\,\Delta y)^2}.

Idea-fuerza

La diferencial total es una función lineal de (dx,dy)(dx, dy), pero captura el comportamiento local de ff cerca de un punto. Es la base de la aproximación lineal y del análisis de errores.

Visualización

# Figura Mensaje
1 Diferencial Plano Tangente "El plano tangente es la diferencial total"
2 Incremento Aproximado Vs Exacto "La aproximación lineal es exacta en el límite y buena cerca"
3 Propagacion Errores Sup "La incertidumbre se propaga como una elipse en el plano (x,y)(x,y)"

Ejemplo Forma 1: Cálculo de la diferencial total por gradiente

Problema

f(x,y)=x2y+3xy2,(a,b)=(1,2),dx=0.01, dy=0.02.f(x,y) = x^2 y + 3xy^2,\qquad (a,b)=(1,2),\qquad dx=0.01,\ dy=-0.02.

Resolución

Analítica
Diferenciador (Ejemplo Forma 1 · Analítica)
  • Dato. Función polinómica y (dx,dy)(dx, dy) pequeños dados.
  • Herramienta. Calcular fx,fyf_x, f_y en el punto + sustitución lineal.
  • Bifurcación. Paso 1: las derivadas parciales son constantes en el punto (no se vuelven a evaluar para (dx,dy)(dx, dy)); la diferencial es lineal.
Verificación (Ejemplo Forma 1 · Analítica)
  1. Derivadas parciales:
fx=2xy+3y2,fy=x2+6xy.f_x = 2xy + 3y^2,\qquad f_y = x^2 + 6xy.
  1. Evaluación en (1,2)(1,2):
fx(1,2)=4+12=16,fy(1,2)=1+12=13.f_x(1,2) = 4 + 12 = 16,\qquad f_y(1,2) = 1 + 12 = 13.
  1. Diferencial total:
df=16dx+13dy=16(0.01)+13(0.02)=0.160.26=0.10.df = 16 \cdot dx + 13 \cdot dy = 16(0.01) + 13(-0.02) = 0.16 - 0.26 = -0.10.
  1. Aproximación lineal:
f(1.01,1.98)f(1,2)+df=(12+314)0.10=140.10=13.90.f(1.01,\, 1.98) \approx f(1,2) + df = (1 \cdot 2 + 3 \cdot 1 \cdot 4) - 0.10 = 14 - 0.10 = 13.90.
  1. Valor exacto (para comparar):
f(1.01,1.98)=(1.01)2(1.98)+3(1.01)(1.98)21.02011.98+3.033.92042.0198+11.8788=13.8986.f(1.01, 1.98) = (1.01)^2 (1.98) + 3(1.01)(1.98)^2 \approx 1.0201 \cdot 1.98 + 3.03 \cdot 3.9204 \approx 2.0198 + 11.8788 = 13.8986.
  1. Error de la aproximación: 13.898613.900.0014|13.8986 - 13.90| \approx 0.0014. Pequeño, como se esperaba. Cociente Δf/f(1,2)\Delta f / f(1,2): 0.10/140.71%-0.10 / 14 \approx -0.71\%.
Cantidad Valor
fx(1,2)f_x(1,2) 1616
fy(1,2)f_y(1,2) 1313
dfdf 0.10-0.10
f(1.01,1.98)f(1.01, 1.98) aproximado 13.9013.90
f(1.01,1.98)f(1.01, 1.98) exacto 13.898613.8986
Error de la aproximación 0.0014\approx 0.0014
Errores comunes (Ejemplo Forma 1 · Analítica)
  • Olvidar evaluar las derivadas parciales en el punto (evaluarlas en (0,0)(0,0) da cero).
  • Sumar dxdx y dydy sin multiplicar por las derivadas parciales (suma sin ponderar).
  • Asumir que la aproximación lineal es exacta (solo es exacta en el límite).

Ejemplo Forma 2: Propagación de errores de medición

Problema

R=VI,V=(12.0±0.1)V,I=(2.00±0.05)A.R = \frac{V}{I},\qquad V = (12.0 \pm 0.1)\,\mathrm{V},\quad I = (2.00 \pm 0.05)\,\mathrm{A}.

Resolución

Analítica
Diferenciador (Ejemplo Forma 2 · Analítica)
  • Dato. Función R(V,I)R(V,I) y incertidumbres (ΔV,ΔI)(\Delta V, \Delta I) dadas.
  • Herramienta. Calcular derivadas parciales, evaluar en el punto nominal, y aplicar fórmula de propagación (lineal o cuadrática).
  • Bifurcación. Paso 3: hay dos variantes de propagación; la elección depende de si los errores son sistemáticos correlacionados (lineal) o estadísticos independientes (cuadrático).
Verificación (Ejemplo Forma 2 · Analítica)
  1. Derivadas parciales de R(V,I)=V/IR(V,I) = V/I:
RV=1I,RI=VI2.\frac{\partial R}{\partial V} = \frac{1}{I},\qquad \frac{\partial R}{\partial I} = -\frac{V}{I^2}.
  1. Evaluación en (V,I)=(12.0,2.00)(V,I) = (12.0, 2.00):
RV=12.00=0.5Ω/V,RI=12.0(2.00)2=3.0Ω/A.\frac{\partial R}{\partial V} = \frac{1}{2.00} = 0.5\,\Omega/\mathrm{V},\qquad \frac{\partial R}{\partial I} = -\frac{12.0}{(2.00)^2} = -3.0\,\Omega/\mathrm{A}.
  1. Valor nominal: R0=12.02.00=6.0ΩR_0 = \dfrac{12.0}{2.00} = 6.0\,\Omega.

  2. Propagación pesimista:

ΔR=0.50.1+3.00.05=0.05+0.15=0.20Ω.\Delta R = |0.5| \cdot 0.1 + |-3.0| \cdot 0.05 = 0.05 + 0.15 = 0.20\,\Omega.
  1. Propagación cuadrática (errores independientes):
ΔR=(0.50.1)2+(3.00.05)2=0.0025+0.0225=0.0250.158Ω.\Delta R = \sqrt{(0.5 \cdot 0.1)^2 + (3.0 \cdot 0.05)^2} = \sqrt{0.0025 + 0.0225} = \sqrt{0.025} \approx 0.158\,\Omega.
Cantidad Valor
R0R_0 6.0Ω6.0\,\Omega
R/V\partial R/\partial V 0.5Ω/V0.5\,\Omega/\mathrm{V}
R/I\partial R/\partial I 3.0Ω/A-3.0\,\Omega/\mathrm{A}
ΔR\Delta R (pesimista) 0.20Ω0.20\,\Omega
ΔR\Delta R (cuadrático) 0.158Ω\approx 0.158\,\Omega
Errores comunes (Ejemplo Forma 2 · Analítica)
  • Olvidar el valor absoluto en la fórmula pesimista (los signos de las derivadas se cancelan al propagar).
  • Usar la fórmula cuadrática cuando los errores son sistemáticos (no independientes).
  • Sumar las contribuciones sin ponderar por las derivadas parciales.