Practical tensor calculus on embedded submanifolds of arbitrary codimension

Este artículo introduce un marco de cálculo tensorial completamente extrínseco, libre de parametrización y libre de componentes para subvariedades incrustadas de codimensión arbitraria, que cuenta con una notación recursiva algorítmica que facilita tanto el análisis teórico como las aplicaciones prácticas en dinámica de fluidos, mecánica de medios continuos y geometría evolutiva.

Lo esencial

Imagina que estás intentando describir la forma y el movimiento de un trozo de papel flotando en una habitación tridimensional, o de una burbuja de jabón, o incluso de una forma compleja de alta dimensión que no podemos visualizar fácilmente. En matemáticas, estas formas se denominan subvariedades.

Durante mucho tiempo, los matemáticos han tenido una manera muy específica y rígida de realizar el cálculo (la matemática del cambio y el movimiento) sobre estas formas. Es como intentar describir el movimiento del papel pegando primero una cuadrícula de papel milimetrado sobre él, anotando las coordenadas de cada punto individual y luego realizando cálculos complejos basados en esa cuadrícula. Esto funciona, pero es desordenado, difícil de calcular y falla si el papel se tuerce, gira o cambia de forma con el tiempo.

La gran idea del artículo: "El método del árbol"
Vladimir Yushutin propone una nueva y más limpia manera de hacer esta matemática. En lugar de pegar una cuadrícula sobre la forma, sugiere observar la forma desde el "exterior" (la habitación donde flota) y utilizar una estructura especial y recursiva a la que llama "representación por filas".

Piensa en un tensor (un objeto matemático complejo que contiene información sobre dirección y magnitud) no como una hoja de cálculo gigante de números, sino como un árbol completo.

• La parte superior del árbol es el objeto principal.
• Las ramas se dividen en piezas más pequeñas (filas).
• Las hojas son los números reales.

Esta estructura de "árbol" permite que las matemáticas sean algorítmicas. Significa que puedes escribir un programa informático que maneje estas formas simplemente siguiendo las ramas del árbol, sin importar cuán compleja sea la forma o cuántas dimensiones tenga. No necesitas preocuparte por las coordenadas específicas de la forma; solo sigues las reglas del árbol.

Los tres descubrimientos principales
El autor utiliza este nuevo método de "árbol" para resolver tres problemas específicos que anteriormente eran difíciles o mal entendidos:

1. La regla del "empuje neto cero" (Flujos de Euler):
   Imagina un fluido (como el agua) fluyendo perfectamente suavemente sobre una superficie curva, como una esfera o una silla de montar. Las matemáticas antiguas sugerían que si la superficie no tenía simetrías (ningún equilibrio perfecto izquierda-derecha o arriba-abajo), el fluido podría empujar la superficie de formas extrañas.

   • El hallazgo: Utilizando este nuevo método, el autor demuestra que si el fluido es incompresible (no se aplasta), el empuje total (momento) sobre toda la superficie es siempre cero. Incluso si el fluido gira salvajemente, las fuerzas se cancelan perfectamente entre sí en toda la forma. Es como un grupo de personas empujando un bote desde todos los lados; incluso si empujan al azar, si todos están en el bote, el bote no se mueve hacia adelante o hacia atrás en su conjunto.

2. El malentendido del "corte" (Tensión de Cauchy):
   En ingeniería, hablamos de "tensión" dentro de los materiales. Por lo general, asumimos que si cortas un trozo de material, la fuerza actúa solo a lo largo de la superficie cortada. Para láminas planas, esto es fácil. Pero para formas curvas tridimensionales (como una cuerda retorcida o una concha curva), los matemáticos han debatido si la fuerza debe mantenerse siempre "plana" contra la superficie o si puede apuntar "hacia arriba" o "hacia abajo".

   • El hallazgo: El artículo argumenta que los modelos anteriores eran demasiado restrictivos. Asumían que solo podías cortar el material de una manera específica y plana. El autor muestra que si permites cualquier corte (incluso uno extraño y angulado), las matemáticas demuestran que la fuerza no tiene que mantenerse plana contra la superficie. Puede apuntar en cualquier dirección, y las leyes de la física (las leyes de Newton) siguen siendo válidas. Esto cambia la forma en que modelamos la tensión en materiales complejos y curvos.

3. Rastrear formas cambiantes (Subvariedades evolutivas):
   Imagina una burbuja de jabón que se expande, se encoge y se tambalea. ¿Cómo calculas la energía de un patrón dibujado en esa burbuja a medida que cambia?

   • El hallazgo: El autor crea una fórmula para calcular exactamente cómo cambia la "energía" de un patrón a medida que la propia forma se mueve y se transforma. Esto se hace utilizando una "derivada material", que es como una cámara que se mueve con la forma, rastreando los cambios desde el interior mientras tiene en cuenta el movimiento de la forma en el mundo exterior. Esto proporciona una herramienta precisa para modelar cosas como tejidos biológicos en crecimiento o membranas deformables.

Por qué esto importa
El artículo no ofrece solo una nueva teoría; ofrece un conjunto de herramientas práctico. Al tratar estas formas complejas como "árboles" de datos, las matemáticas se vuelven:

• Libres de coordenadas: No necesitas elegir un sistema de cuadrícula específico.
• Recursivas: Puedes resolver problemas grandes descomponiéndolos en pasos más pequeños e idénticos (como seguir una rama de árbol hasta una hoja).
• Universales: Funciona para formas de cualquier dimensión y cualquier "grosor" (codimensión).

En resumen, el artículo proporciona un nuevo lenguaje, más flexible y amigable para la computadora, para describir cómo las cosas se mueven, empujan y cambian sobre superficies curvas, eliminando la necesidad de cuadrículas de coordenadas desordenadas y anticuadas.

Resumen técnico

Resumen Técnico: Cálculo Tensorial Práctico en Subvariedades Incrustadas de Codimensión Arbitraria

Planteamiento del Problema
Muchos problemas científicos involucran campos tensoriales definidos en subvariedades incrustadas en $\mathbb{R}^n$. Las herramientas matemáticas tradicionales para estos problemas, como los operadores diferenciales y las reglas de integración, se introducen típicamente de manera intrínseca utilizando parametrizaciones de coordenadas locales o notación de índices de Ricci. Aunque poderosas, esta formalización puede obstaculizar los cálculos, particularmente al tratar con evolución geométrica o subvariedades de dimensión y codimensión arbitrarias. Los enfoques extrínsecos existentes a menudo se limitan a casos escalares, tensores de rango dos o escenarios de codimensión uno, careciendo de un marco unificado para tensores de rango general en codimensiones arbitrarias.

Metodología
El artículo propone una variante completamente extrínseca, libre de parametrización y libre de componentes del cálculo tensorial. La metodología se basa en la derivada cartesiana ambiente en $\mathbb{R}^n$ y la descripción extrínseca mediante conjuntos de nivel de la geometría de la subvariedad.

El núcleo del marco es una representación recursiva por filas de los tensores. En lugar de utilizar índices matriciales o componentes de coordenadas, un tensor de rango $q$ se representa como una lista de $n$ componentes-fila, cada una siendo un tensor de rango $q-1$. Esta estructura es análoga a un árbol $n$-ario completo, donde los nodos hoja almacenan valores y los nodos internos guían la evaluación mediante productos punto recursivos. Esta representación permite:

• Recursividad Algorítmica: Operaciones como proyección, gradiente, divergencia y rotacional se definen recursivamente sobre las componentes-fila.
• Derivadas Extrínsecas: El gradiente en la subvariedad $\nabla_M$ se define mediante el gradiente ambiente proyectado sobre el espacio tangente, evitando la necesidad de conexiones intrínsecas.
• Proyección Tangencial: Un algoritmo recursivo proyecta campos tensoriales generales sobre el subespacio tangente de la subvariedad.
• Integración: Una definición de integración componente a componente extiende el teorema estándar de Stokes a tensores de rango arbitrario, produciendo una fórmula extrínseca de Stokes que incluye un término que involucra al vector de curvatura media $\kappa$.

Contribuciones y Resultados Clave
El artículo demuestra la utilidad de este marco a través de tres aplicaciones distintas, derivando resultados novedosos para dimensión y codimensión arbitrarias:

1. Ecuaciones de Euler y Momento Extrínseco:
   Los autores derivan un nuevo principio de conservación global para flujos de Euler incompresibles en variedades riemannianas. Demuestran que el momento extrínseco (la integral del covector de velocidad sobre la variedad) se anula para cualquier flujo tangencial e incompresible, independientemente de las simetrías de la variedad. Esto conduce a una ecuación de balance de fuerzas ambiente donde la fuerza de Young-Laplace, la reacción de frontera y la fuerza centrípeta suman cero. Este resultado generaliza la propiedad conocida de fuerza neta de presión cero en dominios fijos en $\mathbb{R}^2$ o $\mathbb{R}^3$.

2. Esfuerzo de Cauchy en Subvariedades:
   El artículo revisa el concepto de esfuerzo de Cauchy en subvariedades incrustadas con codimensión positiva. Al relajar la suposición de que los tensores de esfuerzo deben actuar solo sobre cortes tangenciales, los autores derivan ecuaciones de equilibrio para cortes generalmente orientados. Demuestran que, si bien la conservación del momento angular implica la tangencialidad del vector de esfuerzo para orientaciones tangenciales, no implica que el tensor de esfuerzo en sí mismo deba ser simétrico o puramente tangencial. El tensor de esfuerzo puede ser no simétrico y no tangencial sin violar las leyes de Newton, siempre que la componente normal-en-tangencial del vector de esfuerzo se cancele.

3. Energía de Dirichlet en Subvariedades en Evolución:
   Para subvariedades en evolución, los autores introducen una derivada material extrínseca para campos tensoriales de rango general. Derivan una expresión para la tasa temporal de cambio de la energía de Dirichlet tensorial. Esta derivación generaliza resultados previos para campos escalares y vectoriales a rangos tensoriales, dimensiones y codimensiones arbitrarias, utilizando conmutadores entre la derivada material y el gradiente en la subvariedad.

Significado y Afirmaciones
El artículo afirma que el marco propuesto ofrece una notación práctica y un conjunto de herramientas inmediatamente utilizables en la modelación matemática, el análisis de ecuaciones diferenciales parciales (EDP) conscientes de la geometría y métodos numéricos en subvariedades incrustadas.

Las características distintivas destacadas son:

• Generalidad: Se aplica a subvariedades de cualquier dimensión y codimensión y maneja tensores de rango arbitrario.
• Adecuación Computacional: La representación recursiva por filas refleja la estructura de árboles completos, haciendo que el cálculo sea apto para implementación algorítmica y análisis teórico.
• Claridad Extrínseca: Al evitar coordenadas locales y confiar en derivadas ambiente, el marco simplifica el manejo de la evolución geométrica y las condiciones de frontera.

Los autores concluyen que este enfoque facilita la derivación de nuevas leyes de conservación y condiciones de equilibrio que anteriormente eran difíciles de formular en un contexto general, y sugieren direcciones futuras en análisis numérico, cálculo variacional y clasificación de formas utilizando las herramientas desarrolladas.