Una especificación de datos de contorno que suministra más restricciones independientes de las compatibles con el operador diferencial y el dominio, con frecuencia produciendo incompatibilidad o ausencia de solución porque las restricciones exceden los grados de libertad o violan relaciones de compatibilidad.

Principio

Los problemas de contorno bien planteados requieren un equilibrio entre el orden del operador diferencial y las restricciones independientes en la frontera más las condiciones de compatibilidad; añadir restricciones independientes por encima de este equilibrio conduce a un sistema sobredeterminado que puede ser inconsistente salvo que se cumplan condiciones de compatibilidad adicionales.

Demostración

Imponer simultáneamente valores de Dirichlet y Neumann de forma independiente en todo el contorno para una PDE elíptica de segundo orden suele sobredeterminar el problema; a menos que ambos conjuntos de datos satisfagan una relación de compatibilidad, el problema no tendrá solución clásica.

Aplicación incorrecta

Añadir condiciones de contorno extra para forzar un resultado numérico deseado (por ejemplo, prescribir valor y flujo para 'estabilizar' un solver) sin verificar la compatibilidad, creando así un sistema insolvable o mal condicionado.

Consecuencia

Una especificación sobredeterminada puede volver inconsistente un problema o forzar el uso de formulaciones de mínimos cuadrados o regularizadas que relajen las restricciones; también indica la necesidad de revisar la formulación del modelo y la justificación física de los datos impuestos.

Inversión

Eliminar o relajar restricciones redundantes (por ejemplo, prescribir solo Dirichlet o solo Neumann cuando corresponda) convierte la configuración sobredeterminada en un problema bien planteado o subdeterminado, restaurando la solvabilidad o grados de libertad controlables.

Límite

Se aplica a problemas de PDE con condiciones en la frontera y sistemas lineales donde se contabilizan las restricciones independientes; excluye casos en los que condiciones adicionales son redundantes pero exactamente consistentes (sobredeterminación consistente) o situaciones de control de contorno donde datos extra son variables de diseño.

Tensión semántica

A menudo se confunde con mal condicionamiento o redundancia; sobredeterminado significa restricciones independientes adicionales que pueden ser incompatibles, mientras que la redundancia puede ser consistente si las restricciones son dependientes — distinguir independencia y compatibilidad es esencial.

Síntesis

Las condiciones de contorno sobredeterminadas describen un desequilibrio en el que las restricciones independientes impuestas superan o contradicen los datos admisibles por el operador: implican riesgo de incompatibilidad y exigen comprobaciones de compatibilidad, relajación o reformulación para recuperar solvabilidad.