← Temas

Formas diferenciales y el teorema de Stokes

Este capítulo cosecha todo el cálculo en una sola idea. Aprendiste el Teorema Fundamental ($\int_a^b f' = f(b) - f(a)$) y, en varias variables, oíste hablar de Green, Stokes y la divergencia. Las formas diferenciales son el lenguaje que revela que los cuatro son el mismo teorema, y ese teorema es de una belleza casi sospechosa:

Vamos a construirlo con calma, porque cada símbolo esconde una idea.

¿Qué es una forma diferencial?

La pregunta correcta no es "¿qué es?" sino "¿qué se integra?". Una forma diferencial es, exactamente, lo que ponés bajo un signo de integral. Y se clasifican por la dimensión de aquello sobre lo que se integran:

• Una 0-forma es una función $f$. Se "integra" sobre un punto: evaluarla.
• Una 1-forma es $\omega = P\,dx + Q\,dy$. Se integra sobre curvas: es el integrando de una integral de línea $\int_C P\,dx + Q\,dy$ (trabajo de un campo a lo largo de un camino).
• Una 2-forma es $\omega = f\,dx \wedge dy$. Se integra sobre regiones o superficies: un integrando de área.
• Una $k$-forma se integra sobre objetos de dimensión $k$.

La clave que destraba todo: los símbolos $dx, dy$ no son "cantidades infinitesimales" misteriosas. Son máquinas lineales que comen un vector y devuelven un número: $dx$ toma un vector y devuelve su componente $x$; $dy$, su componente $y$. Una 1-forma $P\,dx + Q\,dy$ evaluada en un vector de desplazamiento mide cuánto "trabajo" hay en esa dirección. Pensar los $dx$ como funcionales —no como polvo infinitesimal— es lo que vuelve todo riguroso.

El producto cuña ∧ — área orientada

Para integrar sobre algo bidimensional necesitamos medir área, y el área en matemática seria viene con signo (orientación). El producto cuña $dx \wedge dy$ es la máquina que, dados dos vectores, devuelve el área orientada del paralelogramo que forman. Jugá con dos vectores:

El hecho central es la antisimetría:

El signo es la orientación: recorrer $a \to b$ en sentido antihorario da área positiva; al revés, negativa. Y un vector consigo mismo no encierra área, así que $dx \wedge dx = 0$ —la razón profunda de por qué los determinantes con dos columnas iguales se anulan. El producto cuña es el determinante disfrazado de operación sobre formas, y con él se arman todas las $k$-formas de dimensión superior ($dx \wedge dy \wedge dz$ es volumen orientado en $\mathbb{R}^3$).

La derivada exterior d — una sola operación, tres caras

Acá está el corazón del capítulo. Hay una operación, la derivada exterior $d$, que toma una $k$-forma y devuelve una $(k+1)$-forma. Lo asombroso es que, según sobre qué actúe, $d$ es el gradiente, el rotacional o la divergencia.

Sobre una 0-forma (función) $f$, $d$ da su diferencial —el gradiente empaquetado como 1-forma:

Sobre una 1-forma $\omega = P\,dx + Q\,dy$, aplicás $d$ a cada coeficiente y usás la antisimetría; en el plano sobrevive el rotacional:

Sobre una 2-forma en $\mathbb{R}^3$, $d$ produce la divergencia. Una sola $d$, tres operadores clásicos según la dimensión de la forma.

Y tiene una propiedad mágica:

Esto $d^2 = 0$ no es un tecnicismo: traducido al diccionario de campos, dice exactamente $\operatorname{rot}(\operatorname{grad} f) = 0$ (el rotacional de un gradiente es cero) y $\operatorname{div}(\operatorname{rot} \mathbf{F}) = 0$. Dos identidades que parecían independientes son la misma frase: $d^2 = 0$.

Por qué $d^2 = 0$. Para una función, $d(df) = \sum_{i,j} \frac{\partial^2 f}{\partial x_j\,\partial x_i}\, dx_j \wedge dx_i$. Las segundas parciales son simétricas ($\partial_j\partial_i f = \partial_i\partial_j f$, teorema de Schwarz) pero el cuña es antisimétrico ($dx_j \wedge dx_i = -\,dx_i \wedge dx_j$): cada par $(i,j)$ cancela a su par $(j,i)$, y la suma se anula. La antisimetría del cuña sumada a la simetría de las parciales mixtas es la raíz común de las dos identidades —y el cimiento de la cohomología de De Rham.

El teorema de Stokes — el gran unificador

Ahora sí, la fórmula del principio:

En palabras: la integral de una forma sobre el borde de $M$ es igual a la integral de su derivada exterior sobre el interior de $M$. Lo que pasa en el contorno está codificado en lo que pasa adentro.

¿Por qué es cierto? La intuición es preciosa. Cortá $M$ en celditas diminutas. En cada celda, $d\omega$ mide la "circulación local". Cuando sumás todas, los bordes interiores —los que comparten dos celdas vecinas— se recorren dos veces, en sentidos opuestos, así que se cancelan. Lo único que sobrevive es el borde exterior $\partial M$. La suma de todas las circulaciones locales colapsa en la circulación del contorno. Esa cancelación de lo interno es el mecanismo de Stokes, y es la misma idea telescópica del Teorema Fundamental, donde los valores intermedios se cancelan y solo quedan los extremos.

El diccionario: un teorema, cuatro nombres

Especializá $\int_{\partial M}\omega = \int_M d\omega$ a cada dimensión y caen, uno por uno, todos los teoremas que aprendiste sueltos:

• Teorema Fundamental del Cálculo ($M$ = intervalo, $\omega$ = 0-forma): $\int_a^b f'(x)\,dx = f(b) - f(a).$ El "borde" del intervalo $[a,b]$ son sus dos puntos $\{a, b\}$ con signo.

• Teorema de Green ($M$ = región plana, $\omega$ = 1-forma): $\oint_{\partial R} (P\,dx + Q\,dy) = \iint_R \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA.$ La circulación por el borde iguala al rotacional integrado adentro:

• Teorema de Stokes clásico ($M$ = superficie en $\mathbb{R}^3$): $\oint_{\partial S} \mathbf{F}\cdot d\mathbf{r} = \iint_S (\nabla \times \mathbf{F})\cdot d\mathbf{S}.$

• Teorema de la divergencia (Gauss) ($M$ = sólido en $\mathbb{R}^3$): $\oiint_{\partial V} \mathbf{F}\cdot d\mathbf{S} = \iiint_V (\nabla \cdot \mathbf{F})\,dV.$

Los cuatro son $\int_{\partial M}\omega = \int_M d\omega$ con $M$ de dimensión 1, 2, 2 y 3. El "diccionario" es: $d$ sobre 0-formas $=$ gradiente; sobre 1-formas $=$ rotacional; sobre 2-formas $=$ divergencia. No son tres teoremas: es uno visto desde tres alturas.

Formas cerradas y exactas

Una última distinción, con consecuencias muy concretas. Una forma es:

• cerrada si $d\omega = 0$;
• exacta si $\omega = d\eta$ para alguna $\eta$.

Como $d^2 = 0$, toda forma exacta es cerrada. ¿Y al revés? Localmente sí (lema de Poincaré), pero globalmente depende de la forma del dominio: en un dominio simplemente conexo, cerrada $\Rightarrow$ exacta; con agujeros, puede fallar.

En el lenguaje de campos esto es campos conservativos: una 1-forma exacta $\omega = df$ es un campo gradiente, y su integral de línea no depende del camino, solo de los extremos ($\int_C df = f(\text{fin}) - f(\text{inicio})$ —¡el TFC otra vez!). Ser cerrada ($\operatorname{rot} = 0$) es el test fácil; ser exacta (tener potencial $f$) es la propiedad fuerte. En el interactivo de arriba, el campo gradiente $(x, y)$ tiene rotacional $0$ —es cerrado, y de hecho exacto, con potencial $\tfrac12(x^2 + y^2)$— y por eso su circulación es cero en cualquier lazo.

El arco del capítulo: las formas son lo que se integra; el producto cuña les da orientación; la derivada exterior $d$ unifica grad, rot y div; y Stokes $\int_{\partial M}\omega = \int_M d\omega$ los corona a todos. Es, posiblemente, la ecuación más bella del cálculo —y la prueba de que rigor y elegancia eran, todo el tiempo, la misma cosa.