La violación progresiva o pérdida de satisfacción de restricciones algebraicas, diferenciales o geométricas (como cantidades conservadas, ortogonalidad, condiciones de divergencia cero o restricciones holonómicas) durante la integración temporal o la solución iterativa debido a la acumulación de error numérico o a procedimientos de actualización incompatibles.

Principio

Integradores numéricos, esquemas de proyección y resolutores iterativos que no preservan exactamente las variedades invariantes o subespacios de restricciones acumulan pequeños errores en cada paso; sin enforcement o estructura preservadora de restricciones, la solución deriva fuera del manifold de restricciones con el tiempo o las iteraciones.

Demostración

Un integrador no simpléctico aplicado a un sistema hamiltoniano cambiará gradualmente la energía total, o un esquema de avance temporal para flujo incompresible que no reproyecte sobre campos sin divergencia acumulará divergencia no nula, produciendo desequilibrio de masa artificial tras muchos pasos.

Aplicación incorrecta

Asumir que pequeñas violaciones instantáneas de las restricciones son inocuas y descuidar correcciones periódicas, o aplicar una proyección ingenua que rompa otras cantidades conservadas (por ejemplo, proyectar el momento de modo que viole la energía), cambiando una restricción por la deriva de otra.

Consecuencia

Las simulaciones de largo plazo producen trayectorias cualitativamente incorrectas, tendencias seculares espurias, pérdida de invariantes conservados y posible inestabilidad numérica; los modelos que requieren satisfacción exacta de restricciones (cinemática de cuerpos rígidos, leyes de conservación) se vuelven poco fiables.

Inversión

Adoptar integradores que preserven restricciones (simplécticos, geométricos), imponer restricciones mediante proyección estable o formulaciones con multiplicadores de Lagrange, usar precondicionadores y resolutores conscientes de las restricciones, y monitorizar y corregir la deriva de forma adaptativa para mantener la solución en el manifold de restricciones.

Límite

Se aplica a la integración temporal discreta y a algoritmos iterativos donde se espera que las restricciones se cumplan exactamente o dentro de una tolerancia controlada; no denota discrepancia de modelo cuando el sistema continuo permite en sí mismo una deriva lenta o relajación dependiente de parámetros.

Tensión semántica

Estrechamente relacionado con la contaminación del espacio nulo y la acumulación de redondeo: la contaminación del nulllespacio contamina el subespacio de restricciones, mientras que la deriva de restricciones es la manifestación dinámica de abandonar ese subespacio; el redondeo por sí solo puede causar deriva pequeña, pero la incompatibilidad estructural suele ser una fuente más fuerte.

Síntesis

La deriva de restricciones es la desviación lenta de los subespacios de restricciones requeridos, causada por la acumulación de errores numéricos o actualizaciones incompatibles; se corrige mediante algoritmos que preservan la estructura, mecanismos de imposición estables y monitorización activa para devolver la solución al manifold de restricciones.