Una clase de estrategias numéricas que particionan un dominio computacional global en subdominios, resuelven (exacta o aproximadamente) problemas de valores en la frontera en esos subdominios —posiblemente en paralelo— y hacen cumplir condiciones de interfaz mediante acoplamiento, iteración o correcciones en malla gruesa para obtener la solución global.

Principio

Reducir problemas a gran escala mediante partición espacial: ejecutar soluciones locales en subdominios mientras se coordinan a través de interfaces mediante condiciones de transmisión, multiplicadores de Lagrange, intercambios iterativos tipo Schwarz o correcciones globales para que los cálculos locales se ensamblen en una solución global consistente.

Demostración

Resolver una gran EDP elíptica en un clúster con memoria distribuida: dividir el dominio en subdominios solapados, en cada nodo resolver el problema local de Dirichlet o Neumann con datos de interfaz dados, intercambiar las trazas de interfaz actualizadas con vecinos (Schwarz aditivo o multiplicativo), iterar hasta que los residuos de interfaz sean pequeños e incluir opcionalmente un problema grueso para acelerar la convergencia.

Aplicación incorrecta

Usar discretizaciones de interfaz no coincidentes sin proyectarlas adecuadamente o imponer condiciones de interfaz incompatibles que violen conservación o continuidad, provocando modos espurios, pérdida de precisión o divergencia del acoplamiento iterativo.

Consecuencia

La descomposición de dominio produce solucionadores escalables adecuados para computación paralela al localizar trabajo y comunicación; con condiciones de transmisión y correcciones gruesas apropiadas logra convergencia independiente de la malla y uso eficiente de recursos distribuidos.

Inversión

Resolución monolítica global: formar y resolver todo el sistema discretizado global en un procesador o sin particionar el dominio; aunque evita la iteración de interfaz, esta aproximación suele carecer de escalabilidad paralela y puede estar limitada por la memoria en problemas muy grandes.

Límite

Ámbito: EDP y problemas variacionales donde la partición del dominio preserva propiedades esenciales (elipticidad, conservación) y donde se pueden plantear y resolver operadores de interfaz; excluye problemas cuya física es inherentemente global y no separable por cortes de dominio (núcleos fuertemente no locales), o donde el costo de comunicación eclipsa el de las soluciones locales haciendo ineficiente la descomposición.

Tensión semántica

Tensión entre autonomía de subdominios y acoplamiento de interfaz: subdominios más grandes reducen la sobrecarga de interfaz y mejoran la precisión local pero incrementan coste y memoria por subdominio; subdominios más pequeños favorecen paralelismo y localidad pero requieren más coordinación y condiciones de transmisión robustas para asegurar precisión y convergencia global.

Síntesis

El Método De Descomposición De Dominio es un marco que divide un problema global en problemas sobre subdominios resueltos localmente y acoplados mediante condiciones de interfaz e iteraciones (o correcciones gruesas), permitiendo la solución paralela y eficiente en memoria de grandes sistemas de EDP manteniendo la consistencia global cuando está bien diseñado.