La intrusión de componentes espurias en el espacio nulo numérico (kernel) de un operador o sistema discretizado, que oculta los elementos verdaderos del núcleo y socava la imposición exacta de restricciones o invariantes asociados a ese espacio nulo.

Principio

Errores de discretización, imposición inconsistente de restricciones, resolutores mal condicionados o precondicionadores incompatibles con el espacio nulo pueden introducir vectores no físicos que aparecen en el núcleo numérico (valores singulares cercanos a cero), de modo que proyecciones y descomposiciones basadas en el núcleo capturan contenido espurio.

Demostración

En una discretización de flujo incompresible, un acoplamiento presión-velocidad deficiente o un resolutor que no respeta funciones base sin divergencia puede permitir que persistan modos numéricos no divergencia-cero dentro del espacio nulo nominalmente sin divergencia, provocando fuentes/sumideros de masa artificiales. En álgebra lineal, formar una base del núcleo a partir de datos numéricos contaminados conduce a soluciones homogéneas incorrectas.

Aplicación incorrecta

Asumir que los vectores del espacio nulo calculados son modos físicos exactos y usarlos para reducir o eliminar grados de libertad sin verificar su ortogonalidad respecto a las restricciones reales; o emplear precondicionadores que proyectan sobre un espacio nulo aproximado y amplifican componentes espurias.

Consecuencia

La imposición de restricciones falla o se vuelve poco confiable, los resolutores iterativos se estancan o convergen a subespacios incorrectos, y los invariantes físicos ligados al espacio nulo (p. ej. la condición de divergencia cero, modos de cuerpo rígido) se violan o quedan enmascarados por efectos numéricos.

Inversión

Construir bases del espacio nulo con procedimientos numéricamente estables, imponer restricciones de manera compatible variacional o preservadora de restricciones, usar resolutores y precondicionadores conscientes del espacio nulo, y regularizar o refinar la discretización para separar direcciones de núcleo genuinas de modos contaminantes.

Límite

Se refiere a operadores discretizados, cálculos matriciales e interacciones entre resolutores y precondicionadores donde existen direcciones cercanas al núcleo; no denota incertidumbre sobre el núcleo continuo ni simples errores de redondeo en punto flotante sin causas estructurales.

Tensión semántica

Relacionado pero distinto del error de redondeo y del mal condicionamiento: el redondeo es ruido de pequeña escala, el mal condicionamiento es sensibilidad, mientras que la contaminación del espacio nulo designa direcciones espurias persistentes que se hacen pasar por elementos del núcleo y afectan proyecciones de restricción.

Síntesis

La contaminación del espacio nulo es la contaminación del kernel calculado de un operador por modos numéricos espurios debido a discretización incoherente, imposición de restricciones o comportamiento del resolutor; la solución es calcular e imponer núcleos de forma compatible y emplear algoritmos conscientes del espacio nulo que aíslen las direcciones verdaderas.