Una restricción matemática que asegura que las prescripciones de frontera, los términos fuente y los datos iniciales sean mutuamente consistentes para que exista una solución que cumpla todas las condiciones impuestas en un sistema diferencial o algebraico.

Principio

Hacer cumplir la coherencia entre las condiciones en las fronteras y los datos de forzamiento/inicialización para evitar que las ecuaciones globales queden sobredeterminadas o sean contradictorias.

Demostración

En la ecuación de Poisson en un dominio acotado con condiciones de Neumann, la integral del término fuente debe igualar la integral de los flujos normales prescritos; comprobar y asegurar ese balance es una condición de compatibilidad.

Aplicación incorrecta

Tratar la compatibilidad como opcional y aplicar datos arbitrarios de frontera y fuente puede producir inexistencia de soluciones o la introducción de multiplicadores de Lagrange que enmascaran la inconsistencia.

Consecuencia

Cuando se satisface, la condición posibilita la existencia (y frecuentemente la solvencia) de la solución pretendida y evita comportamientos numéricos divergentes o mal planteados por datos incompatibles.

Inversión

Una condición de incompatibilidad identifica un desajuste de las restricciones que impide necesariamente cualquier solución exacta que cumpla todas las especificaciones; resolverla exige relajar o modificar una o más condiciones.

Límite

Se aplica a las restricciones que enlazan fronteras, fuentes y datos iniciales en modelos diferenciales y algebraicos; no prescribe la ley de cierre física única sino que limita las combinaciones de datos admisibles.

Tensión semántica

La tensión aparece entre la condición de compatibilidad (requisito de coherencia matemática) y la consistencia física (cierre fenomenológico); la primera puede cumplirse aun cuando el modelo físico elegido sea inexacto.

Síntesis

Una condición de compatibilidad es la comprobación y restricción matemática que alinea las especificaciones de frontera, fuente e iniciales para que las ecuaciones rectoras admitan una solución, diferenciando la existencia de la mera especificación.