Mtodo de Galerkin

Los elementos finitos, definidos arriba, son funciones afines. Sus derivadas
son, por tanto, algo patolgicas: las primeras sern constantes a trozos (es
decir, discontinuas) y las segundas similares a deltas de Dirac (nulas o
infinitas, siendo poco rigurosos).
Una manera de regularizar estas derivadas es mediante un mtodo de
Galerkin; si bien este mtodo es completamente general y puede emplearse
con funciones de cualquier tipo. Nos centramos en las segundas derivadas,
sobre todo el laplaciano por ser ste el trmino que suele ser ms delicado en
las ecuaciones.
Por ejemplo, tomemos la ecuacin de Poisson:

En el mbito de las ecuaciones en derivadas parciales, se suele conocer el

trmino de fuente

y el problema es determinar

. En nuestro caso nos

preocupamos ms bien por una reconstruccin: conocemos

calcular un laplaciano

y la tarea es

que cumpla una serie de requisitos. En todo caso, la

idea de Galerkin es la misma: introduciendo funciones base

,
transferimos el problema de Poisson a lo que denomina una ``forma dbil''

Lo interesante de la idea de Galerkin de reformular el problema en forma

dbil queda claro si se escribe:

El integrando es el error:
, que sera nulo para la solucin
exacta del problema. Lo que se pretende es, si el error no puede hacerse cero
en todo punto, al menos puede ``echarse'' fuera del espacio funcional que se
considera, haciendo que sea ortogonal a todas las funciones base. Se
encuentran ideas similares en otras reas del clculo numrico, por ejemplo en
la aproximacin mediante polinomios de Chebychev [10].

Si ahora las funciones anteriores se aproximan por

el problema acaba reducindose a

Si ahora aplicamos el teorema de Gauss, despreciando el trmino de borde (lo

cual debe ser debidamente justificado y quiz modificado cerca de las
fronteras del dominio):

donde la matrix de rigidez es

y la matrix de masas es

Esta es la formulacin habitual del mtodo de Galerkin donde, como se ha

dicho, se debe resolver el problema de lgebra lineal

para obtener

a partir de

En nuestra implementacin (seccin 5.3) el problema es el inverso, ms

sencillo. Adems, planteamos el problema de una manera algo distinta: si
definimos el valor de cualquier funcin en un nodo como

(la divisin es necesaria para normalizar las funciones peso, si es que no lo

estn, de tal modo que se cumpla consistencia de orden cero). En este caso, la
forma dbil pasa a ser

El argumento sigue el mismo cauce, pero la ecuacin final es

donde la ``matriz'' de masas sera simplemente diagonal, con

elementos
cero,

. Como casi siempre se satisface consistencia de orden

as que esta reduccin de una matriz

a otra

diagonal
se llama en este campo ``aproximacin de masa
acumulada'' (lumped mass approximation). Correspondera a sumar todos los
elementos de cada lnea de la matriz
y colocar la suma en el elemento
diagonal de una matriz diagonal
. En muchos casos esta aproximacin es
plausible; en nuestro caso particular es no es tan siquiera una aproximacin,
sino una consecuencia del planteamiento del problema (ver en todo caso la
seccin de trabajo futuro 8, donde tendremos algo que decir respecto a esta
aproximacin.)