Los grandes teoremas atan el interior a la frontera
La divergencia medía cuánto escapa en un punto; el rotacional medía cuánto gira en un punto. ¿Pero y si quieres la región entera, no un solo punto? Suma cada pizca de divergencia dentro de una región y resulta exactamente igual a la cantidad total que escapa cruzando la frontera. Suma todo el rotacional de adentro y resulta exactamente igual a la circulación que corre a lo largo de la frontera. Estos son el teorema de Gauss y el teorema de Stokes: la promesa de que la suma de todo lo que pasa dentro se lee solo en la frontera. Una integral de volumen difícil se vuelve una integral de lazo fácil alrededor del borde — un atajo en el corazón del cálculo de ingeniería.
Empieza con el teorema de Gauss como imagen. El fondo es un mapa de calor de la divergencia: dorado donde el flujo escapa (divergencia positiva), azul donde es succionado (divergencia negativa). Alrededor del círculo hay flechas hacia afuera: dorado para flujo que sale, azul para flujo que entra. Mueve el deslizador del radio para agrandar y achicar el círculo. Dos números acompañan. Interior es la suma de toda la divergencia dentro del círculo; frontera es el flujo total que cruza hacia afuera por el borde. En cualquier radio los dos salen casi idénticos. Ese es el teorema de Gauss.
Ahora quita la imagen y pon los dos números lado a lado. A la izquierda está ∫∫ ∇·F dA, la integral de área que suma cada pizca de divergencia dentro del círculo. A la derecha está ∮ F·n ds, la integral de lazo que reúne el flujo hacia afuera todo alrededor del borde. Mueve el deslizador del radio. Los dos valores siempre van de la mano y se mueven juntos, coincidiendo casi exactamente. El signo igual del centro lo confirma. Un lado tiene que barrer toda la región, pero el otro solo mide una línea de frontera. Por eso el teorema es un atajo.
Esta vez es el teorema de Stokes, y el campo cambió. Ahora un solo vórtice gira en sentido antihorario en el centro, y el fondo es un mapa de calor del rotacional: dorado donde gira en sentido antihorario (rotacional positivo), más fuerte en el medio. Alrededor del círculo las flechas corren tangentes, siguiendo el borde. Mueve el deslizador del radio. Interior es la suma de todo el rotacional dentro del círculo; frontera es la circulación que corre por el borde. Al crecer el círculo, ambos valores suben juntos, claramente por encima de cero, y siempre apuntan al mismo número. Ves con tus ojos que la suma interior es igual a la frontera.
Quita la imagen otra vez y observa solo los dos números. A la izquierda está ∫∫ ∇×F dA, la integral de área que suma cada pizca de rotacional dentro del círculo. A la derecha está ∮ F·dr, la integral de lazo que reúne la circulación que el campo impulsa alrededor del borde. Mueve el deslizador del radio. Los dos valores suben juntos y coinciden casi exactamente, y el signo igual del centro lo confirma. Tal como el teorema de la divergencia convirtió la divergencia de una región en el flujo de su frontera, el teorema de Stokes convierte el rotacional sobre una superficie en la circulación de su borde. Suma todo el giro interior y es igual a cuánto gira la frontera.
Por último, superpón los dos teoremas sobre una imagen. Hay un solo círculo con un interruptor. Pulsa Gauss y aparecen flechas hacia afuera (normales) alrededor del borde, y la etiqueta dice "flujo hacia afuera = suma de la divergencia adentro". Pulsa Stokes y el mismo borde cambia a flechas tangentes, y la etiqueta pasa a "circulación = suma del rotacional adentro". Un interruptor cambia ∇· por ∇×, y normal por tangente, todo de golpe. Los dos son gemelos en forma: ambos dicen "la derivada sumada adentro es igual a la integral medida en la frontera". Solo difiere qué derivada va adentro y cómo se paran las flechas en la frontera. Esta es la única frase que sostiene el cálculo vectorial.