Académique Documents
Professionnel Documents
Culture Documents
Introduccin
El MEF permite obtener una solucin numrica aproximada sobre un
cuerpo, estructura o dominio (medio continuo) sobre el que estn
definidas ciertas ecuaciones diferenciales en forma dbil o integral que
caracterizan el comportamiento fsico del problema dividindolo en
un nmero elevado de subdominios no-intersectantes entre s
denominados elementos finitos. El conjunto de elementos finitos
forma una particin del dominio tambin denominada discretizacin.
Dentro de cada elemento se distinguen una serie de puntos
representativos llamados nodos. Dos nodos son adyacentes si
pertenecen al mismo elemento finito; adems, un nodo sobre la
frontera de un elemento finito puede pertenecer a varios elementos. El
conjunto de nodos considerando sus relaciones de adyacencia se llama
malla.
Los clculos se realizan sobre una malla de puntos (llamados nodos),
que sirven a su vez de base para discretizacin del dominio en
elementos finitos. La generacin de la malla se realiza usualmente con
programas especiales llamados generadores de mallas, en una etapa
previa a los clculos que se denomina pre-proceso. De acuerdo con
estas relaciones de adyacencia o conectividad se relaciona el valor de
un conjunto de variables incgnitas definidas en cada nodo y
denominadas grados de libertad. El conjunto de relaciones entre el
valor de una determinada variable entre los nodos se puede escribir en
forma de sistema de ecuaciones lineales (o linealizadas). La matriz de
dicho sistema de ecuaciones se llama matriz de rigidez del sistema. El
nmero de ecuaciones de dicho sistema es proporcional al nmero de
nodos.
Donde las incgnitas son los desplazamientos en los nodos (vector u) que se hallan a partir de las "fuerzas" o
"solicitaciones" en los nodos (vector ) y de la rigidez de las barras (matriz de rigidez
). Conocidos dichos
desplazamientos es posible determinar los esfuerzos en las barras. La solucin obtenida es exacta.
De 1960 a 1970
Cuando las aplicaciones prcticas de elementos finitos crecieron en tamao, los requerimientos de tiempo de clculo
y memoria de los ordenadores creci. En ese punto el desarrollo de algoritmos ms eficientes se volvi importante.
Para la resolucin de los sistemas de ecuaciones se potencia el estudio de la adaptabilidad de los algoritmos ya
conocidos (Gauss, Cholesky, Crout, Gradiente conjugado, etc). El ahorro de tiempo es impensable y con ello el uso
del mtodo matricial se extiende. Este desarrollo se hace especialmente notable en estructuras de edificacin donde
la discretizacin de los prticos en barras, es prcticamente inmediata a partir de las vigas y los pilares.
Sin embargo, y a pesar de desarrollarse modelizaciones de elementos superficiales mediante barras (losas con
emparrillados, elementos curvos mediante aproximaciones de elementos rectos, etc.), se plantean grandes
dificultades ante estructuras continuas (superficies y volmenes) y con geometras complejas. De ah que sea
precisamente dentro del campo aeroespacial donde comiencen a desarrollarse las nuevas tcnicas del MEF. Dada su
generalidad el mtodo se ampli a otros campos no estructurales como la conduccin de calor, la mecnica de
fluidos, etc. donde compiti con otros mtodos numricos como el de mtodo de las diferencias finitas que an
siendo ms intuitivos, tenan de nuevo dificultades de planteamiento para geometras complejas.
Con la llegada de los centros de clculo y los primeros programas comerciales en los aos 60, el MEF a la vez que se
populariza en la industria refuerza sus bases tericas en los centros universitarios.
En los aos 70 se produce un gran crecimiento de la bibliografa as como la extensin del mtodo a otros problemas
como los no lineales. En esta dcada, el MEF estaba limitado a caros ordenadores centrales generalmente posedo
por las industrias aeronuticas, de automocin, de defensa y nucleares. Se estudian nuevos tipos de elementos y se
sientan las bases matemticas rigurosas del mtodo, que haba aparecido antes ms como tcnica de la ingeniera que
como mtodo numrico de la matemtica.
A partir de 1980
Por ltimo, a partir de la dcada de los 80, con la generalizacin de los ordenadores personales, se extiende el uso de
los programas comerciales que se especializan en los diversos campos, instaurndose el uso de pre y
postprocesadores grficos que realizan el mallado y la representacin grfica de los resultados. Se contina en el
estudio de la aplicacin del mtodo a nuevos modelos de comportamiento (plasticidad, fractura, dao continuo, etc.)
y en el anlisis de los errores.
En la actualidad, dentro del campo estructural, el MEF comparte protagonismo con el mtodo matricial, siendo
muchos los programas que mezclan el anlisis por ambos mtodos, debido sobre todo a la mayor necesidad de
memoria que requiere el anlisis por elementos finitos. As se ha dejado la aplicacin del MEF para el anlisis de
elementos continuos tipo losa o pantalla, mientras que los prticos siguen todava discretizndose en barras y
utilizando el mtodo matricial. Y desde el rpido declive en el coste de los ordenadores y el fenomenal incremento
en la potencia de clculo, el MEF ha desarrollado una increble precisin. A da de hoy, los superordenadores son
capaces de dar resultados exactos para todo tipo de parmetros.
3. Se obtiene la proyeccin del problema variacional original sobre el espacio de elementos finitos obtenido de la
particin. Esto da lugar a un sistema con un nmero de ecuaciones finito, aunque en general con un nmero
elevado de ecuaciones incgnitas. El nmero de incgnitas ser igual a la dimensin del espacio vectorial de
elementos finitos obtenido y, en general, cuanto mayor sea dicha dimensin tanto mejor ser la aproximacin
numrica obtenida.
4. El ltimo paso es el clculo numrico de la solucin del sistema de ecuaciones.
Los pasos anteriores permiten construir un problema de clculo diferencial en un problema de lgebra lineal. Dicho
problema en general se plantea sobre un espacio vectorial de dimensin no-finita, pero que puede resolverse
aproximadamente encontrando una proyeccin sobre un subespacio de dimensin finita, y por tanto con un nmero
finito de ecuaciones (aunque en general el nmero de ecuaciones ser elevado tpicamente de miles o incluso
centenares de miles). La discretizacin en elementos finitos ayuda a construir un algoritmo de proyeccin sencillo,
logrando adems que la solucin por el mtodo de elementos finitos sea generalmente exacta en un conjunto finito
de puntos. Estos puntos coinciden usualmente con los vrtices de los elementos finitos o puntos destacados de los
mismos. Para la resolucin concreta del enorme sistema de ecuaciones algebraicas en general pueden usarse los
mtodos convencionales del lgebra lineal en espacios de dimensin finita.
En lo que sigue d es la dimensin del dominio, n el nmero de elementos finitos y N el nmero de nodos total.
Formulacin dbil
La formulacin dbil de una ecuacin diferencial permite convertir un problema de clculo diferencial formulado en
trmino de ecuaciones diferenciales en trminos de un problema de lgebra lineal planteado sobre un espacio de
Banach, generalmente de dimensin no finita, pero que puede ser aproximado por un sistema finito de ecuaciones
algebraicas.
Dada una ecuacin diferencial lineal de la forma:
(1)
, y se han especificado
un conjunto de condiciones de contorno adecuadas, puede suponerse que la funcin buscada es un elemento de un
espacio de funciones o espacio de Banach V y que la ecuacin (2) es equivalente a:
(2a)
Donde V' es el espacio dual de V, la forma variacional dbil se obtiene buscando la nica solucin
tal que:
(2b)
Cuando el operador lineal es un operador elptico, el problema se puede plantear como un problema de minimizacin
sobre el espacio de Banach.
que satisfece:
3.
Usualmente por conveniencia prctica y sencillez de anlisis, todos los "elementos finitos" tienen la misma "forma",
es decir, existe un dominio de referencia
y una coleccin de funciones biyectivas:
Este dominio de referencia se suele llamar frecuentemente tambin dominio isoparamtrico. En los anlisis 2D (d =
2) el dominio de referencia se suele tomar como un tringulo equiltero o un cuadrado, mientras que en los
anlisis 3D (d = 3), el dominio de referencia tpicamente es un tetraedro o un hexaedro. Adems sobre cada elemento
se considerarn algunos puntos especiales, llamados nodos y que generalmente incluirn los vrtices del elemento
finito y se requerir la condicin adicional de que dos elementos adyacentes compartan los nodos sobre el
subconjunto
, es decir:
Una vez definida la particin en elementos finitos, se define sobre cada elemento un espacio funcional de dimensin
finito, usualmente formado por polinomios. Este espacio funcional servir para aproximar localmente la solucin del
problema variacional. El problema variacional en su forma dbil se plantea sobre un espacio de dimensin no-finita,
y por tanto la funcin buscada ser una funcin de dicho espacio. El problema en esa forma exacta es
computacionalmente inabordable, as que en la prctica se considerar un subespacio de dimensin finita
del
espacio vectorial original . Y en lugar de la solucin exacta de (2b) se calcula la proyeccin de la solucin original
sobre dicho subespacio vectorial de dimensin finita, es decir, se resolver numricamente el siguiente problema:
(2c)
Donde:
, es la solucin aproximada.
es el proyector ortogonal del espacio original sobre el subespacio vectorial
asociado a la discretiacin.
Si la discretizacin es suficientemente fina y el espacio funcional finito sobre cada elemento est bien escogido, la
solucin numrica obtenida aproximar razonablemente bien la solucin original. Eso implicar en general
considerar un nmero muy elevado de elementos finitos y por tanto un subespacio de proyeccin de dimensin
elevada. El error entre la solucin exacta y la solucin aproximada puede acotarse gracias al lema de Ce, que en
esencia afirma que la solucin exacta y la solucin aproximada satisfacen:
(LC)
Es decir, el error depender ante todo de lo bien que el subespacio vectorial asociado a la discretizacin en elementos
fintios
aproxime el espacio vectorial original .
Entonces mediante las aplicaciones que aplican el dominio de referencia a cada elemento finito se define el espacio
vectorial
que servir para aproximar la solucin como:
(3)
Cuando
es
Esto permite definir de manera unvoca unas funciones de forma sobre el dominio real sobre el que se define el
problema:
Estas funciones se pueden extender a todo el dominio, gracias a que el conjunto de subdominios o elementos finitos
constituye una particin de todo el dominio:
Las funciones de forma permiten proyectar sobre el espacio de elementos finitos cualquier funcin definida sobre el
dominio original mediante el proyector
:
(4)
Donde N es el nmero de nodos. Agrupando los trminos y teniendo en cuenta que v^h es arbitario y que por tanto la
ecuacin anterior debe cumplirse para cualquier valor de dicho vector arbitrario se tiene que:
(5)
Este es la forma comn del sistema de ecuaciones de un problema de elementos asociado a una ecuacin diferencial
lineal, no dependiente del tiempo. Esta ltima forma es precisamente la forma (*) de la resea histrica. Para
resolver numricamente el sistema de ecuaciones (*), que usualmente consta de miles o incluso centenares de miles
de ecuaciones se requieren algoritmos eficientes que optimicen el nmero de operaciones que debe realizarse y
ahorren memoria.
En general las complicaciones computacionales que deben resolverse en la resolucin numrica son:
1. El clculo de la matriz de coeficientes
Donde:
son el domino sobre el que se plantea el problema.
, representan a cada uno de los elementos finitos y al dominio isoparamtrico que da la forma de los
elementos finitos.
, representan la funcin que debe integrarse y su expresin sobre el dominio
isoparamtrico.
, la aplicacin que relaciona el dominio isoparamtrico con cada elemento finito.
, son los pesos y los puntos de integracin usados para integracin gaussiana.
, son el nmero total de elementos y el nmero de puntos de integracin por elemento.
h es un medida de la finura de la discretizacin es el mximo de los anteriores valores. Puede comprobarse que el
error de aproximacin (y por tanto el error de la solucin mediante elementos finitos) viene acotada por:
(AE)
Donde:
, son respectivamente la solucin exacta y la solucin obtenida mediante elementos finitos.
, es un nmero real que depende de la forma del dominio, entre otros factores.
, es el k+1-simo espacio de Sobolev de funciones sobre el dominio
, es la seminorma dada por:
siendo
un multindice y
Postproceso
Actualmente, el MEF es usado para calcular problemas tan complejos, que los ficheros que se generan como
resultado del MEF tienen tal cantidad de datos que resulta conveniente procesarlos de alguna manera adicional para
hacerlos ms comprensible e ilustrar diferentes aspectos del problema. En la etapa de post-proceso los resultados
obtenidos del la resolucin del sistema son tratados, para obtener representacin grficas y obtener magnitudes
derivadas, que permitan extraer conclusiones del problema.
El post-proceso del MEF generalmente requiere software adicional para organizar los datos de salida, de tal manera
que sea ms fcilmente comprensible el resultado y permita decidir si ciertas consecuencias del problema son o no
aceptables. En el clculo de estructuras por ejemplo, el post-proceso puede incluir comprobaciones adicionales de si
una estructura cumple los requisitos de las normas pertinentes, calculando si se sobrepasan tensiones admisibles, o
existe la posibilidad de pandeo en la estructura.
Problemas termomecnicos
Un amplio rango de funciones objetivo (variables con el sistema) estn disponibles para la minimizacin la
maximizacin:
Hay mltiples condiciones de carga que se pueden aplicar al sistema. Algunos ejemplos son:
Cada programa MEF puede venir con una biblioteca de elementos, o una que es construda con el tiempo. Algunos
ejemplos de elementos son:
Elementos tipo barra
Muchos programas MEF tambin estn equipados con la capacidad de usar mltiples materiales en la estructura,
como:
10
Limitaciones
En general el MEF tal como se usa actualmente tiene algunas limitaciones:
El MEF calcula soluciones numricas concretas y adaptadas a unos datos particulares de entrada, no puede
hacerse un anlisis de sensibilidad sencillo que permita conocer como variar la solucin si alguno de los
parmetros se altera ligeramente. Es decir, proporciona slo respuestas numricas cuantitativas concretas no
relaciones cualitativas generales.
El MEF proporciona una solucin aproximada cuyo margen de error en general es desconocido. Si bien algunos
tipos de problemas permiten acotar el error de la solucin, debido a los diversos tipos de aproximaciones que usa
el mtodo, los problemas no-lineales o dependientes del tiempo en general no permiten conocer el error.
En el MEF la mayora de aplicaciones prcticas requiere mucho tiempo para ajustar detalles de la geometra,
existiendo frecuentemente problemas de mal condicionamiento de las mallas, desigual grado de convergencia de
la solucin aproximada hacia la solucin exacta en diferentes puntos, etc. En general una simulacin requiere el
uso de numerosas pruebas y ensayos con geometras simplificadas o casos menos generales que el que finalmente
pretende simularse, antes de empezar a lograr resultados satisfactorios.
11
El mtodo implcito
Estos clculos suelen usarse para el cclulo de rigidez (aunque aveces tambin se pueden calcular en dinmico).
Entre los mtodos implcitos algunos son incondicionalmente convergentes (no divergen exponencialmente de la
solucin exacta) slo para cierta eleccin fija de los parmetros del mtodo.
Los clculos por el mtodo implcito (o semi-implcito a la parte ms rgida del sistema) requieren mucho ms
tiempo de computacin para dar un paso en el tiempo, ya que deben invertir una matriz de tamao muy grande, por
esto, se suelen emplear mtodos de intereacin, en vez de mtodos directos. En compensacin, se pueden usar pasos
de tiempo mucho ms grandes ya que son estables.
El mtodo explcito
Un mtodo explcito es el que no requiere la resolucin de un sistema de ecuaciones no trivial a cada paso de tiempo.
En estos clculos se realiza una simulacin con modificacin de la malla a lo largo del tiempo. En general los
mtodos explcitos requieren menor tiempo de computacin que los mtodos implcitos aunque frecuentemente
presentan el problema de no ser incondicionalmente convergentes, y requieren evaluar primero el paso de tiempo
mximo para que la computacin sea numricamente estable. Los mtodos explcitos suelen ser condicionalmente
convergentes pero no incondicionalmente convergentes, por lo que el paso de tiempo usado en el esquema de
diferencias finitas debe ser menor que cierto valor:
Siendo
Se estrealizando un clculo explcito, se est realizando un anlisis dinmico del mecanismo u estructura, en
el que suele haber pasos de tiempo muy cortos para que sea estable, aunue se puede lograr una alta precisin
para sistemas dinmicos.
En los elementos finitos explcitos es preferible el uso de elementos sencillos, como cuadrilteros con un punto de
integracin y estabilizacin frente a modos de energa nula, frente a elementos de orden superior.
Los mtodos explcitos encuentran su campo de aplicacin ptimo en problemas de dinmica rpida, en los que se
producen fuertes no linealidades y el empleo de intervalos de tiempo pequeos pasa a ser una necesidad.
Una ventaja importante del mtodo explcito es la resolucin de las ecuaciones a nivel exclusivamente local, sin
plantear en ningn momento sistemas de ecuaciones globales acopladas. Esto permite el uso de algoritmos elemento
por elemento, que facilitan el clculo en paralelo. Planteados como mtodos de relajacin dinmica o relajacin
viscosa, se enmarcan junto con mtodos iterativos de resolucin de ecuaciones no lineales, como los mtodos de
relajacin de Gauss-Seidel, o gradiente conjugado precondicionado con tcnicas de elemento por elemento. Siendo
muy interesante para el clculo en paralelo.
12
Referencia
[1] Turner, M., R. W. Clough, H. C. Martin y L. J. Topp, "Stiffness and Deflection Analysis of Complex Structuures", J. Aeronautical Science 23
(9), pp. 805-823, Septiembre de 1956
Bibliografa
K. J. Bathe (1995): "Finite Element Procedures", Prentice Hall, 2nd edition.
P. G. Ciarlet (1978): The Finite Element Method for Elliptic Problems, North-Holland, msterdam, 1978.
P. G. Ciarlet (1991): "Basic error estimates for elliptic problems" en Handbook of Numerical Analysis (Vol II)
J.L. Lions y P. G. Ciarlet (ed.), North-Holland, msterdam, 1991, p. 17-351.
Enlaces externos
A 3D-Model for Computer Simulation of Atrial Electrophysiology (http://www.stormingmedia.us/65/6599/
A659904.html?categoryID=187&categoryPageCount=&addToCart=1)
Mtodo elementos finitos, captulo de un libro (http://matematicas.uclm.es/ind-cr/metnum/files/efinitos.pdf)
PETSc-FEM: A General Purpose, Parallel, Multi-Physics FEM Program (http://www.cimec.org.ar/petscfem)
Se pueden encontrar algunos ejemplos de post-procesado en MEF en AeroMech (http://www.aeromechsupport.
nl)
Elementos Finitos programados en Matlab alto orden Dimensin 1 (http://math.uprm.edu/~isnar_an/
01-05-2010/pde_nume/hw1.pdf)
Elementos Finitos programados en C++ orden 1 Dimensin 2 (http://math.uprm.edu/~isnar_an/01-05-2010/
pde_nume/hw2.pdf)
Abaqus
Flux
Cosmos
Staad.pro
Catia v5
Cype
Dlubal RFEM (http://www.dlubal.com/es)
Sap2000
Algor
HKS/Abaqus/Simulia
ANSYS
CAELinux
Elmer
FEAP
Phase2
Nastran
Stampack
I-deas
Femap
Pro/ENGINEER Mechanica
Elas2D
Comsol (http://en.wikipedia.org/wiki/COMSOL_Multiphysics)
Castem
13
SolidWorks
SOFiSTiK (http://www.sofistik.com/)
FreeFem
OpenFEM
OpenFlower
OpenFOAM
Calculix
Tochnog
Gmsh-GetDP
Z88
CYMECAP
Architrave
Enlaces externos
Analisis de un desvo de Ferrocarril por el Mtodo de los Elementos Finitos (Proyecto fin de carrera de Ingeniera
Mecnica de la Universidad de Oviedo) (http://www.docstoc.com/docs/104986585/
Analisis-de-un-desvio-de-ferrocaril-FEM), Portada (http://www.docstoc.com/docs/104988070/
portada-proyecto-def), Anexo (http://www.docstoc.com/docs/104998809/Anexo).
Principales programas de FEM: Ansys (http://www.ansys.com/) y Abaqus (http://www.cecalc.ula.ve/
documentacion/tutoriales/abaqus/introduccion_abaqus.pdf).
14
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/
15