Métodos numéricos para integrar ecuaciones diferenciales ordinarias y flujos, diseñados para preservar estructuras geométricas cualitativas del sistema continuo (por ejemplo forma simpléctica, integrales primeras, volumen o estructura de grupo de Lie) en lugar de limitarse a minimizar el error de truncamiento local.

Principio

Construir esquemas de integración que respeten los objetos geométricos invariantes de la dinámica continua (formas simplécticas, cantidades conservadas, simetrías de grupo, reversibilidad) para que la trayectoria numérica refleje el comportamiento cualitativo a largo plazo.

Demostración

Un integrador simpléctico como el punto medio implícito o el método Stoermer–Verlet aplicado a un sistema hamiltoniano preserva la forma simpléctica y produce un error de energía acotado durante tiempos exponencialmente más largos que los métodos de Runge–Kutta estándar de orden similar.

Aplicación incorrecta

Usar un método elegido solo por su alto orden local (p. ej. un Runge–Kutta explícito de alto orden) en un sistema casi hamiltoniano esperando fidelidad energética a largo plazo; o imponer un esquema simpléctico en un problema fuertemente disipativo donde preservar la forma simpléctica falsea la disipación física.

Consecuencia

Cuando se preservan las estructuras geométricas, las soluciones numéricas mantienen invariantes cualitativos (deriva de energía acotada, topología correcta del espacio de fases, momentos conservados) lo que permite simulaciones a largo plazo fiables y mejores predicciones cualitativas.

Inversión

Los integradores tradicionales que no preservan estructura priorizan el error local de truncamiento y pueden exhibir deriva secular en invariantes, amortiguamiento o crecimiento artificial y comportamiento asintótico cualitativamente incorrecto.

Límite

Se aplica principalmente a flujos de EDO deterministas de dimensión finita y campos vectoriales suaves; las extensiones a problemas rígidos, EDP o sistemas estocásticos requieren técnicas adicionales o distintos objetivos de preservación y pueden no preservar todos los invariantes continuos.

Tensión semántica

Tensión con la búsqueda de alto orden local y mínima error por paso: un integrador geométrico de orden inferior puede superar a un método no geométrico de mayor orden en fidelidad cualitativa a largo plazo; también hay tensión con integradores diseñados exclusivamente para la estabilidad en problemas rígidos.

Síntesis

La integración geométrica engloba el diseño y análisis de integradores numéricos que sacrifican error local puro para preservar invariantes geométricos continuos, proporcionando comportamiento cualitativo correcto a largo plazo en sistemas dinámicos.