Derivadas parciales

Nivel UniversitarioDificultad ★★★★★Concepto⌖ Ver en el mapa

¿Qué es?

∂f∂xi\frac{\partial f}{\partial x_i}: la derivada respecto de una variable, dejando fijas las demás. Cada una responde a «¿cuánto depende la salida de esta entrada?»; en una red neuronal, de este peso.

¿Por qué existe?

Con muchas entradas, «la» tasa de cambio depende de la dirección en que te muevas. Las direcciones más sencillas son los ejes: mover una variable y congelar el resto. Las derivadas parciales son esas tasas a lo largo de los ejes y (para funciones razonables) determinan la tasa en cualquier otra dirección.

Intuición

Corta la superficie z=f(x,y)z = f(x, y) con el plano y=y0y = y_0: sale una curva, y ∂f/∂x\partial f/\partial x es su pendiente. Corta con x=x0x = x_0 para ∂f/∂y\partial f / \partial y. En una montaña: ∂f/∂x\partial f/\partial x es lo empinado que está caminando hacia el este y ∂f/∂y\partial f/\partial y hacia el norte.

Definición formal

∂f∂xi(a)=lim⁡h→0f(a+h ei)−f(a)h,\frac{\partial f}{\partial x_i}(a) = \lim_{h\to 0}\frac{f(a + h\,e_i) - f(a)}{h},

donde eie_i es el ii-ésimo vector unitario. Si todas las parciales existen y son continuas cerca de aa (f∈C1f \in C^1), ff es diferenciable en aa; si f∈C2f \in C^2, las parciales cruzadas conmutan: ∂x∂yf=∂y∂xf\partial_x\partial_y f = \partial_y\partial_x f (Schwarz).

Fórmulas

∂f∂xi(a)=lim⁡h→0f(a+hei)−f(a)h\frac{\partial f}{\partial x_i}(a) = \lim_{h\to 0}\frac{f(a + h e_i) - f(a)}{h}
f(x,y)=x2y+sin⁡y:fx=2xy,fy=x2+cos⁡yf(x, y) = x^2 y + \sin y: \quad f_x = 2xy, \quad f_y = x^2 + \cos y

¿Cómo se calcula?

Deriva respecto de xix_i tratando las demás variables como constantes; valen todas las reglas de una variable.

Ejemplo

Error cuadrático de un modelo lineal con dos pesos: L(w,b)=(wx+b−y)2L(w, b) = (wx + b - y)^2. Entonces ∂L/∂w=2(wx+b−y) x\partial L/\partial w = 2(wx + b - y)\,x y ∂L/∂b=2(wx+b−y)\partial L/\partial b = 2(wx + b - y). El factor común 2(y^−y)2(\hat y - y) es la «señal de error» que la retropropagación envía a cada peso.

¿Por qué importa?

Entrenar es calcular ∂L/∂θi\partial L / \partial\theta_i para cada parámetro θi\theta_i; el procesado de imagen calcula ∂I/∂x\partial I/\partial x y ∂I/∂y\partial I/\partial y para encontrar bordes; la física escribe sus leyes (calor, ondas, fluidos, electromagnetismo, mecánica cuántica) como ecuaciones entre derivadas parciales.

Aplicaciones en informática

  • Procesamiento de imagen y visión artificial★★★★★fundamentalSeñales, multimedia y visión

    La detección de bordes estima ∂I/∂x\partial I/\partial x y ∂I/∂y\partial I/\partial y de la intensidad.

  • Ecuación del calor y difusión★★★★★fundamentalFísica y simulación

    La ecuación del calor ut=α(uxx+uyy)u_t = \alpha(u_{xx} + u_{yy}) es una relación entre derivadas parciales.

Dónde aparece en IA

¿Dónde se utiliza?

Temas de informática a los que se llega desde aquí, con la cadena de ideas que lleva a ellos:

Qué depende de él

Ejercicios

1Cálculo directo

Calcula todas las derivadas parciales primeras y segundas de f(x,y)=exyf(x, y) = e^{xy} y comprueba que fxy=fyxf_{xy} = f_{yx}.

Solución

fx=yexyf_x = ye^{xy}, fy=xexyf_y = xe^{xy}, fxx=y2exyf_{xx} = y^2e^{xy}, fyy=x2exyf_{yy} = x^2e^{xy}, fxy=fyx=(1+xy)exyf_{xy} = f_{yx} = (1 + xy)e^{xy}.

2IA

Para y^=σ(w1x1+w2x2+b)\hat y = \sigma(w_1x_1 + w_2x_2 + b) y L=−(yln⁡y^+(1−y)ln⁡(1−y^))L = -\big(y\ln\hat y + (1-y)\ln(1-\hat y)\big), demuestra que ∂L/∂w1=(y^−y) x1\partial L/\partial w_1 = (\hat y - y)\,x_1.

Solución

∂L∂y^=y^−yy^(1−y^)\frac{\partial L}{\partial\hat y} = \frac{\hat y - y}{\hat y(1 - \hat y)}, ∂y^∂z=y^(1−y^)\frac{\partial\hat y}{\partial z} = \hat y(1 - \hat y), ∂z∂w1=x1\frac{\partial z}{\partial w_1} = x_1. El producto se simplifica a (y^−y)x1(\hat y - y)x_1: sigmoide y entropía cruzada se cancelan de maravilla.

↑ ↓ para navegar · ↵ · Esc