Un enfoque basado en proyección que construye soluciones aproximadas exigiendo que el residuo de un operador diferencial o integral sea ortogonal a un espacio de ensayo elegido, dando lugar a un sistema finito para los coeficientes de expansión.

Principio

Seleccionar espacios de prueba y ensayo (a menudo iguales) y proyectar el residuo del operador gobernante sobre el espacio de prueba, imponiendo ortogonalidad para derivar ecuaciones variacionales cuya discretización produce la solución aproximada.

Demostración

En el método de elementos finitos, escoger funciones de ensayo polinómicas por tramos, exigir que el residuo de la forma débil sea ortogonal al espacio de prueba de elementos finitos, ensamblar la matriz de rigidez y resolver para los coeficientes nodales para aproximar la solución de EDP.

Aplicación incorrecta

Usar espacios de ensayo y prueba incompatibles o descuidar condiciones de contorno en la forma débil puede generar modos espurios, pérdida de convergencia o violación de propiedades de conservación inherentes al problema continuo.

Consecuencia

Las formulaciones Galerkin conservan la estructura variacional, suelen heredar propiedades de estabilidad y conservación, y proporcionan una teoría de convergencia sistemática cuando los espacios se eligen para satisfacer condiciones de aproximación y estabilidad.

Inversión

Difiere de la colocación: Galerkin impone condiciones de ortogonalidad integrales (imposición débil) en lugar de igualdad puntual en ubicaciones discretas, intercambiando imposición local por fidelidad global basada en proyección.

Límite

Más adecuado para problemas que admiten una formulación variacional (débil) y para soluciones en espacios tipo Sobolev; problemas puramente puntuales o extremadamente no suaves pueden requerir tratamientos especializados o métodos alternativos.

Tensión semántica

Hay tensión entre métodos de imposición fuerte (colocación, diferencias finitas) y la imposición débil de Galerkin: esta última respeta mejor la conservación y estabilidad global pero puede ser más costosa por grado de libertad.

Síntesis

El método de Galerkin transforma ecuaciones de operadores en problemas de proyección de dimensión finita: seleccionar espacios de ensayo/prueba compatibles, imponer la ortogonalidad del residuo al espacio de prueba y resolver el sistema algebraico resultante para las aproximaciones de coeficientes.